function overgif(img,imgid) {
	document.getElementById(imgid).src = "images/" + img + "_over.gif";
}

function outgif(img, imgid) {
	document.getElementById(imgid).src = "images/" + img + ".gif";
}