/* this is highly special-purpose, but also allows the html to remain clean.  Should be no problem to extend it to make it uglier, of course.*/
function switchImage(id, imgname)
{
	document.getElementById(id).src = imgname;
}