document.write("<SCRIPT language=JavaScript src="+baseurl+"genmenu.js><\/SCRIPT>\n");
document.write("<script language=JavaScript src="+baseurl+"menu_timer.js><\/script>\n");
document.write("<script language=javascript src="+baseurl+"menustructure.js><\/script>\n");