function updateFont(newSize) {
	
		if((document.getElementById)&& (document.getElementById('tagID')!=null)) {
	  		var myElement = document.getElementById('tagID');
		 	myElement.style.fontSize = newSize;
     	}else {
		  return;
		}
}