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

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

function mapover(mapid) {
    document.getElementById(mapid).style.visibility = "visible";
}

function mapout(mapid) {
    document.getElementById(mapid).style.visibility = "hidden";
}