// This function produces the mouse over effect used in many elements of the page. 
function rollOver(imName,over) {
    if (over) { document.images[imName].src = "fileadmin/templates/gfx/" + imName + "_open.jpg" }
         else { document.images[imName].src = "fileadmin/templates/gfx/" + imName + "_closed.jpg" }
}