// --------------------------

function setMenu(tab_in)
{
   // Select the appropriate tab
   if ( document.getElementById(tab_in) ) 
   {
      document.getElementById(tab_in).className = "current"
   }

}