// JavaScript Document
function pintarMapa(codigo){
	var o = document.getElementById('mapa');
	o.setearColor(codigo);	
}