function header() { document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('\n'); document.write('

\n'); } // header()