  function m_over() {
	clearTimeout(timerID);
  }
  function m_out(r) {
    timerID = setTimeout("closediv()", 500);
  }

 
  
  function m_over_admin(button) {
	button.style.backgroundColor = "#FF9900";
 }
 function m_out_admin(button) {
	button.style.backgroundColor = 'transparent';
 }
	
function m_down_admin(button) {
	button.style.backgroundColor = "#8592b5";
 }
 
 /*******************************/
 

var oldnews = 1;
var menu=0;
var timerID=0;
 function setdiv1(menu) {
 
 		if (testbrowser.ie6)
 		{
 			clearTimeout(timerID)
 			divmenu.filters[0].Apply();
 		}
 		olddiv="oDIV"+oldnews+".style.visibility='hidden'";
 		newdiv="oDIV"+menu+".style.visibility='visible'";
 		eval(olddiv);
 		eval(newdiv);
 		oldnews=menu;
 		if (testbrowser.ie6)
 		{
 			divmenu.filters[0].Play();
 			timerID = setTimeout("closediv()", 5000);
 		}
 
 		 }
 
 
 function show(object) {
     if (document.getElementById && document.getElementById(object) != null)
          node = document.getElementById(object).style.visibility='visible';
     else if (document.layers && document.layers[object] != null)
         document.layers[object].visibility = 'visible';
     else if (document.all)
         document.all[object].style.visibility = 'visible';
 }
 
 function hide(object) {
     if (document.getElementById && document.getElementById(object) != null)
          node = document.getElementById(object).style.visibility='hidden';
     else if (document.layers && document.layers[object] != null)
         document.layers[object].visibility = 'hidden';
     else if (document.all)
          document.all[object].style.visibility = 'hidden';
 }
 
 function setdiv(menu) {
 
 	clearTimeout(timerID)
 	olddiv="oDIV"+oldnews;
 	newdiv="oDIV"+menu;
 	 hide(olddiv);
 	show(newdiv);
 	oldnews=menu;
 	timerID = setTimeout("closediv()", 3000);
  }
 function closediv() {
 		olddiv="oDIV"+oldnews;
 	     hide(olddiv);
 
 }
 
 /*********************************************/

 if (testbrowser.mac)
 {
 	document.write("<link rel=\"stylesheet\" href=\"themes/mariusbernard/style/menu_style_mac.css\" type=\"text/css\">")

 }
 else
 {
 	document.write("<link rel=\"stylesheet\" href=\"themes/mariusbernard/style/menu_style.css\" type=\"text/css\">")
 }