function hide(city){
  t=setTimeout("document.getElementById('hidden_info').className='map_info_off';",1500);
  c=city
}
function stopCount() {
  document.getElementById('hidden_info').className='map_info_on' + ' mi_' + c
  clearTimeout(t);
}
$(document).ready(function() {
  $(function() {
    var basehref = location.href;
    if(basehref.indexOf("#") != -1) {
      basehref = basehref.substr(0,basehref.indexOf("#"));
    }
    $("a").each(function() {
      var url = $(this).attr("href");
      if(url) {
        if(url.indexOf("#") == 0) {
          $(this).attr("href",basehref+url);
        }
      }
    });
  });
});