tm = setTimeout('');
function hoverElement (el) {
  clearTimeout(tm);
  $("#mapa_bg").attr("class",el.className);
}
function unhoverElement () {
  tm = setTimeout('$("#mapa_bg").attr("class","krok");', 200);
}