function getHover(a_title)
{
	var paras = document.getElementsByTagName("a");
	for(var i = 0; i < paras.length; i++) 
	{
		var title_text = paras[i].getAttribute("name"); 
		if(title_text == a_title)
		{
			paras[i].className = "hover";
		}
	}
}