var mapbox_old_onload=(window.onload?window.onload:function(){});window.onload=function(){mapbox_old_onload();var c=document.getElementsByTagName("*");for(t=0;t<c.length;t++){if(c[t].className!="mapa"){continue}var b=c[t].getElementsByTagName("area");for(i=0;e=b[i];i++){var a=e.href.split("/");e.href="/country#show="+parseInt(a[a.length-1])}}};