function Mapa_on(id) {
document.getElementById('mapa').src = '/grafika/mapa/'+id+'.gif'; 
}
function Mapa_off(id) {
document.getElementById('mapa').src = '/grafika/mapa/default.jpg';
}