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