function $(campo){
		return document.getElementById(campo);
	}