document.write("<SCRIPT language=JavaScript src=gloriahkmenu/setmenu.js><\/SCRIPT>\n");
document.write("<script language=JavaScript src=gloriahkmenu/menu_timer.js><\/script>\n");
document.write("<script language=javascript src=gloriahkmenu/gloriahkmenu.js><\/script>\n");