IMG01 = "http://www.antiguoalumno.com/interface/on.gif"
IMG02 = "http://www.antiguoalumno.com/interface/off.gif"

function imgover(imgname){
     imgname.src = IMG01
}
function imgout(imgname){
     imgname.src = IMG02
}