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";
		  }
	}