function sizeText(size)
{
		switch(size)
		{
				case 0:
					document.getElementById("principal").style.fontSize = "75%";
					break;
				case 1:
					document.getElementById("principal").style.fontSize = "100%";				
					break;
				case 2:
					document.getElementById("principal").style.fontSize = "123%";				
					break;
		}
}