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