document.write('</body></html>');
document.write('<plaintext style="display:none; font-size:0.01em;">');