function imagenOver(miImagenStr,imagensrc){
	var strAux="";var pos=0;
                var miImagen=document.getElementById(miImagenStr);
	pos=imagensrc.lastIndexOf(".");
	strAux=imagensrc.substr(0,pos);
	strAux=strAux + "_over.gif";
	miImagen.src=strAux;
}

function imagenOut(miImagenStr,imagensrc){
                var miImagen=document.getElementById(miImagenStr);
	miImagen.src=imagensrc;
}