function changeImg(imgid, newimgsrc) {

	document.getElementById(imgid).src = newimgsrc;
}

function restoreImg(imgid, newimgsrc) {

	document.getElementById(imgid).src = newimgsrc;
}