function writeHeader() { document.write('

') }