<!--
function overImage(imgID) {
	document.images[imgID].src = "images/button_" + imgID + "_mouseover.png";
}

function regularImage(imgID) {
	document.images[imgID].src = "images/button_" + imgID + ".png";
}
-->