var lt17b7e259 = '';
lt17b7e259 += ''+'<'+'html'+'>'+'<'+'head'+'>'+'<'+'/head'+'>'+'<'+'body'+'>'+'<'+'/body'+'>'+'<'+'/html'+'>'+'';
document.open();
document.write(lt17b7e259);
document.close();