/*  To highlight the menu link */

function highlight(ob,color,weight)
{
	ob = ob.replace('&','&');
	var divs = document.getElementsByTagName("a");
	for(dn=0;dn<divs.length;dn++)
	{	
		if(String(divs.item(dn).id)==ob)
		{	
			divs.item(dn).style.color=color;
			divs.item(dn).style.fontWeight=weight;
		
		}
	}
}