// javascript document var bgheight; var menucon=document.getelementbyid("menu").getelementsbytagname("a"); var menuson=document.getelementbyid("menu-sub").getelementsbytagname("div")[0].getelementsbytagname("div"); var smenucon=document.getelementbyid("menu-sub").getelementsbytagname("div"); var smenu=document.getelementbyid("menu-sub"); var switcher=0; for(var i=0;i