/* used to change the image of an <img> with another */
function change(name, file) {
	document[name].src = file;
}


/* change an image, and show the popup image */
function changeAndShow(name, file, divName) {
	change(name, file);
	div = document.getElementById(divName);
	div.style.display = "block";
}


/* change the image, and hide the popup image */
function changeAndHide(name, file, divName) {
	change(name, file);
	div = document.getElementById(divName);
	div.style.display = "none";
}