function mouseOver(img_src)
	{
	  document['icon'].src = "images/" + img_src + ".png";
	  document.getElementById(img_src).style.background = "#ffffff";
	  document.getElementById(img_src).style.color = "#40689f";
	}