var seleccionado=-1 //Todas las opciones desactivadas

function m_over(elemento, op){
var bmpName='../img/menu' + op + 'Over.bmp';
document.all("IMG"+elemento).src=bmpName;
}

function m_out(elemento, op){
var bmpName='../img/menu' + op + '.bmp';
if(seleccionado!=elemento){
document.all("td"+elemento).className='menuElement';
document.all("IMG"+elemento).src=bmpName;
}
}

function m_click(elemento,direccion){
if(seleccionado!=-1){
	document.all("td"+seleccionado).className='menuElement';
}
seleccionado=elemento;
window.location.href=direccion;
}