function setCookie(name, value, expires, path, domain, secure) {
	var curCookie = name + "=" + escape(value) +
		((expires) ? "; expires=" + expires.toGMTString() : "") +
		((path) ? "; path=" + path : "") +
		((domain) ? "; domain=" + domain : "") +
		((secure) ? "; secure" : "");
	document.cookie = curCookie;
}

function getCookie(name) {
	var dc = document.cookie;
	var prefix = name + "=";
	var begin = dc.indexOf("; " + prefix);
	if (begin == -1) {
		begin = dc.indexOf(prefix);
		if (begin != 0) return null;
	} 
	else begin += 2;
	var end = document.cookie.indexOf(";", begin);
	if (end == -1) end = dc.length;
	return unescape(dc.substring(begin + prefix.length, end));
}

function fixDate(date) {
	var base = new Date(0);
	var skew = base.getTime();
	if (skew > 0) date.setTime(date.getTime() - skew);
}

function saveIt(theSize) {
	var now = new Date();
	fixDate(now);
	now.setTime(now.getTime() + 365 * 24 * 60 * 60 * 1000);
	setCookie("fontSize", theSize, now, "/");	
}

function setSize(theSize) {
	stObj = (document.getElementById) ? document.getElementById('article') : document.all('article');
	stObj.style.fontSize = curSize + 'px';
}

var defaultSize = 12;
var curSize=getCookie("fontSize");
if (curSize == null || curSize == "") curSize = 12;
curSize = parseInt(curSize);
var maxSize = 14;
var minSize = 10;
function changeSize(whatToDo) {
	(whatToDo == "2")? curSize = defaultSize : ((whatToDo == "1")? curSize -= 1 : curSize += 1);
	if (curSize < minSize) curSize = minSize;
	if (curSize > maxSize) curSize = maxSize;
	setSize(curSize);
	saveIt(curSize);
}