function font(tipo){
		if (tipo == 'normal') {
				document.getElementById("textrec").style.fontSize = "10px";
			}																										

		if (tipo == 'big') {
				document.getElementById("textrec").style.fontSize = "11px";
			}													
	}