IMG01 = "Imagenes/Portada02.jpg" 
IMG02 = "Imagenes/Portada03.jpg" 

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

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