function write_tag() { document.write(''); }