function logo() { document.write('

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

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

\n'); }