<!--  to hide script contents from old browsers
function switchStyle(size) {
	el = document.getElementsByTagName("body").item(0)
	switch (size) {
		case "small":
		el.style.fontSize = "70%";
		break;
		case "medium":
		el.style.fontSize = "81.25%";
		break;
		case "large":
		el.style.fontSize = "100%";
	}
	storeSize();
}

function storeSize(){
	var exp = new Date();
	exp.setTime(exp.getTime() + 24*60*60*90*1000);
	size=document.getElementsByTagName("body").item(0).style.fontSize;
	setCookie("fontsize",size,exp);
}

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;
}
// end hiding contents from old browsers  -->