function hover(imgname,imgsrc){
	document.getElementById(imgname).src=imgsrc;
}