// JavaScript Document

function toggleTextSize(whichSize) {
	var strCookie="TextSizeToggle=" + whichSize + ";" +
	              "expires=Fri, 31 Dec 2099 23:59:59 UTC;" +
								"path=/";
	document.cookie=strCookie;
	window.location.reload(true);
}