function canvi_mapa(provincia){
	if(!document.getElementById){ return;}        //comprovem si el navegador és compatible amb DOM W3C i, si no, sortim.
	document.getElementById("mapa").innerHTML='<img src="../imatges/e21_llistat/mapa_'+provincia+'.gif" alt="mapa" />';
}