// JavaScript Document
<!--
 function classtoggle(tag, classa, classb) {
   if (tag.className==classa){
      tag.className=classb;
    } else {
      tag.className=classa;
     }
 }
 
 function adminmenutoggle(divID) {
      var a = document.getElementById(divID);
      classtoggle(a, 'admin_menu_hidden', 'admin_menu_visible');
   }

-->