function setMouseOver(inm) { document.getElementById(inm).style.backgroundPosition = "bottom" ; }

function setMouseOut(inm)  { document.getElementById(inm).style.backgroundPosition = "top"    ; }