function switchimage(divid, imageid, imagefile) {
	document.getElementById(imageid).src = imagefile;
}