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));
}

var fontSize = parseInt(getCookie("fontSize"));
if(fontSize == 0 || isNaN(fontSize)) {
	fontSize = 12;
}

function changeFontSize(size) {
	if(size in {12:'', 14:'', 16:''}) {
		fontSize = size;	
	}
	else {
		fontSize = 12;
	}
	document.body.style.fontSize = fontSize + "px";
	document.cookie = "fontSize=" + escape(fontSize);
}