var MODE_TOGGLE = 0; 
 var MODE_SHOW_ONLY_ONE = 1; 
 var mode = MODE_TOGGLE;
 function push(t) {
   if (mode==MODE_TOGGLE) {
     toggle(t);
   } else {
     showOnlyOne(t);
   }
 } 
 function firstPush(t) {
   if (mode==MODE_TOGGLE) {
     showTab(t);
   } else {
     showOnlyOne(t);
   }
 } 
 function toggle(t) {
   if (isVisible(t)) {
     hideTab(t);
   } else {
     showTab(t);
   }
 }
 function showOnlyOne(tabName) {
   showTab(tabName);
   var tabmenu = document.getElementById("tabmenu");
   var children = tabmenu.childNodes;
   var tab = document.getElementById(tabName);
   for (var i = 0; i < children.length; i++) {
     var t = children[i];
     if (t.className=="tabbody" && t!=tab) {
       hideTab(t.getId());
     }
   } 
 }
 function isVisible(t) {
   var tab = document.getElementById(t);
   return tab.style.display == "";
 }
 function showTab(t) {
   var tab = document.getElementById(t);
   tab.style.display = "";
 }
 function hideTab(t) {
   var tab = document.getElementById(t);
   tab.style.display = "none";
 }