function tabTop(key)
	{
	  if (document.title.indexOf(key) != -1)
	    {
		     document.getElementById(key).id="current";
		  }
	}
	
function tabLeft(key)
	{
	  if (document.title.indexOf(key) != -1)
	    {
		     document.getElementById(key).className="current";
		  }
	}
	
function submenuON(key)
	{
	  document.getElementById(key).className="on";
	}
	
function submenuOFF(key)
	{
	  document.getElementById(key).className="off";
	}