// JavaScript Document

function alterFontSize(intDirection) {
	
	obj = document.getElementById("body"); 
	obj.style.fontSize = "large";
	
	return false;

}