// JavaScript Document

function highlightleftmenu()
{
	
 document.getElementById(CurrentMenuID).className = "focus";

}