function map_hover(r)
    {
        m = document.getElementsByName("map")[0];
        m.src = "/images/" + r + ".gif";
    }
    
    function map_out(r)
    {
        m = document.getElementsByName("map")[0];
        if (r) {
            m.src = "/images/" + r + ".gif";
        } else {
            m.src = "/images/mapa.gif";
        }
    }