function mouseover(n) {
	if (document.selectedImage != n)
		document.images["img"+n].src = document.images["img"+n].src.replace(".gif", "_over.gif");
}

function mouseout(n) {
	if (document.selectedImage != n)
		document.images["img"+n].src = document.images["img"+n].src.replace("_over", "");
}