IMAGE01 = "images/OpenBook.gif";
IMAGE02 = "images/ClosedBook.gif";

function imgover(imageID){
	document.getElementById(imageID).src = IMAGE01;
}

function imgout(imageID){
	document.getElementById(imageID).src = IMAGE02;
}

/*
function imgover(imgname){
	imgname.src = IMAGE01
}

function imgout(imgname){
	imgname.src = IMAGE02
}
*/