function changeSize(theSize) {
		var location = document.getElementById("myele");
			if (theSize == 1)
				{location.style.fontSize = '10px';}
			if (theSize == 2)
				{location.style.fontSize = '14px';}
			if (theSize == 3)
				{location.style.fontSize = '18px';}
			}