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

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