var OPCIONSELECCIONADA = '';

// Método que se ejecuta cuando el cursor entra en una de las opciones del menú
function entrarOpcionMenu(opcion)
{
    if(opcion != OPCIONSELECCIONADA)
    {
        var enlace = document.getElementById('enlace'+opcion);
	enlace.className = 'enlaceIconoSobre';
    }
}

// Método que se ejecuta cuando el cursor sale de una de las opciones del menú
function salirOpcionMenu(opcion)
{
  if(opcion != OPCIONSELECCIONADA)
  {
    var enlace = document.getElementById('enlace'+opcion);
    enlace.className = 'enlaceIcono';
  }
}

function fijarOpcionMenu(opcion)
{
  OPCIONSELECCIONADA = opcion;
}