function SetHeaderImages(imageToHighlight)
{
	//alert("img_"+imageToHighlight+"\n" + "CallingIDImages/"+imageToHighlight+"_over.gif");
	document.getElementById("img_"+imageToHighlight).src = "../Common/HEADER/"+imageToHighlight+"_over.gif";
}