// JavaScript Document function runmenu(sezione) { document.write('

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

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

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

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

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

'); }