var titleElement;
if (document.getElementsByTagName) {
titleElement = document.getElementsByTagName('title')[0].text;
	//alert(titleElement.text);
}

oInputs = document.getElementsByTagName( 'a' ); 
for ( i = 0; i < oInputs.length; i++ ) { 
	var b = oInputs[i].href;
	if(titleElement.indexOf(oInputs[i].innerHTML)>-1)
		oInputs[i].className ="mainlevelmenufontred";
}