function setScaleCookie (name, value, nDays) {	var argv = setScaleCookie.arguments;	var argc = setScaleCookie.arguments.length;	var expires = new Date();	var today = new Date();//	var expires = (argc > 2) ? argv[2] : null;	if (nDays==null || nDays==0) nDays=1;		expires.setTime(today.getTime() + 3600000*24*nDays);	var path = (argc > 3) ? argv[3] : null;	var domain = (argc > 4) ? argv[4] : null;	var secure = (argc > 5) ? argv[5] : false;	document.cookie = name + "=" + escape (value) +	((expires == null) ? "" : ("; expires=" + expires.toGMTString())) +	((path == null) ? "" : ("; path=" + path)) +	((domain == null) ? "" : ("; domain=" + domain)) +	((secure == true) ? "; secure" : ""); }function eraseCookie(name) {    setScaleCookie(name,"",-1);} function setNormalTextSize() {	eraseCookie("basefontsize");	bodyelem.style.fontSize = "100%";}function scaleText(percentage, set_cookie) {	/* scale text only if percentage is not equal to default font size */	defaultfontsize = "100"; /* set to font-size on body element */	bodyelem = document.getElementsByTagName("body")[0];	if (percentage != defaultfontsize){		bodyelem.style.fontSize = percentage + "%";	}	if ((percentage == defaultfontsize)&&(set_cookie)){		bodyelem.style.fontSize = percentage + "%";	}	if (set_cookie){		setScaleCookie("basefontsize", percentage, 365, "/");	}}function inspectFontSizeCookie() {	value = GetMyCookie("basefontsize");	if (value){		scaleText(value, set_cookie=false);	}}function GetMyCookie (name) {	var arg = name + "=";	var alen = arg.length;	var clen = document.cookie.length;	var i = 0;	while (i < clen) {		var j = i + alen;		if (document.cookie.substring(i, j) == arg) {			return getCookieVal (j);		}		i = document.cookie.indexOf(" ", i) + 1;		if (i == 0) break;	}	return null;}function getCookieVal (offset) {	var endstr = document.cookie.indexOf (";", offset);	if (endstr == -1)		endstr = document.cookie.length;	return unescape(document.cookie.substring(offset, endstr));}