function MouseIsOver(theID) {
document.getElementById(theID).src = "rollover_" + theID + ".gif";
}

function MouseIsOut(theID) {
document.getElementById(theID).src = theID + ".gif";
}