var tmp=window.onload;
window.onload = function(){
	if(tmp)tmp();
	var links = document.getElementById("menu").getElementsByTagName("a");
	for(var i=0;i<links.length;i++){
		if(links[i].className==""){
			links[i].className=links[i].id.substr(2).toLowerCase()+"Active";
			links[i].className="";
		
			links[i].onmouseover=function () {
					this.className=this.id.substr(2).toLowerCase()+"Active";
			}
			links[i].onmouseout=function () {
					this.className="";
			}
		}
	
	}
}