var newsfont = 12; 

function changeFont(id) { 
	if (document.getElementById) { 
		document.getElementById(id).style.fontSize = newsfont+"px"; 
	} else { 
		if (document.layers) { 
			document.layers[id].fontSize = newsfont+"px"; 
		} else { 
			if (document.all) { 
				eval("document.all." + id + ".style.fontSize = \"" + newsfont + "px \""); 
			} 
		} 
	} 
} 

function larger() { 
	if (newsfont < 17) { 
        newsfont= newsfont +1; 
		changeFont('changeTxt'); 
	} 
} 

function smaller() { 
	if (newsfont > 9) { 
        newsfont= newsfont -1; 
        changeFont('changeTxt'); 
	} 
}