function rollOver(imName,over) {
    if (over) { document.images[imName].src = "images/"+imName + "_over.png" }
         else { document.images[imName].src = "images/"+imName + ".png" }
}