function change_color() { 
	var e = document.getElementsByTagName("a");
	var url = window.location.href;
	for(var i=0;i < e.length;i++)
	{	
		e[i].style.backgroundColor = "";
		e[i].style.fontWeight = "";
	}
}