var loaded = 0;
   if (document.getElementById) {
		function on(menu) { if (loaded == 1) { document.getElementById(menu).style.visibility = 'visible'; } }
		function off(menu) { if (loaded == 1) { document.getElementById(menu).style.visibility = 'hidden'; } }
    }
   else if (document.all) {
		function on(menu) { if (loaded == 1) { window.document.all[menu].style.visibility = 'visible'; } }
		function off(menu) { if (loaded == 1) { window.document.all[menu].style.visibility = 'hidden'; } }
   }