function imgreplace(imgname, imglocation) {
	document.getElementById(imgname).src = imglocation+'.png';
}