function menucontrol(){
	var url = document.URL;

	if(url.indexOf("contact.html")>0)
		document.getElementById("m5").className ="menuhover";
	else if(url.indexOf("news.html")>0)
		document.getElementById("m4").className ="menuhover";
	else if(url.indexOf("companies.html")>0)
		document.getElementById("m3").className ="menuhover";
	else if(url.indexOf("strategy.html")>0)
		document.getElementById("m2").className ="menuhover";
	else
		document.getElementById("m1").className ="menuhover";
}