<!--
function changemysize(myvalue)
// this function is called by the user clicking on a text size choice
{
// find the div to apply the text resizing to
var div = document.getElementById("page");
// apply the text size change
div.style.fontSize = myvalue + "px";
// store the text size choice into a cookie
SetCookie("mysize", myvalue, 365);
}

function SetCookie() {
if(arguments.length < 2) { return; }
var n = arguments[0];
var v = arguments[1];
var d = 0;
if(arguments.length > 2) { d = parseInt(arguments[2]); }
var exp = '';
if(d > 0) {
	var now = new Date();
	then = now.getTime() + (d * 24 * 60 * 60 * 1000);
	now.setTime(then);
	exp = '; expires=' + now.toGMTString();
	}
document.cookie = n + "=" + escape(String(v)) + '; path=/' + exp;
} // function SetCookie()

function ReadCookie(n) {
var cookiecontent = new String();
if(document.cookie.length > 0) {
	var cookiename = n+ '=';
	var cookiebegin = document.cookie.indexOf(cookiename);
	var cookieend = 0;
	if(cookiebegin > -1) {
		cookiebegin += cookiename.length;
		cookieend = document.cookie.indexOf(";",cookiebegin);
		if(cookieend < cookiebegin) { cookieend = document.cookie.length; }
		cookiecontent = document.cookie.substring(cookiebegin,cookieend);
		}
	}
return unescape(cookiecontent);
} // function ReadCookie()




function mydefaultsize(){
// this function is called by the body onload event
// this function is used by all sub pages visited by the user after the main page
// call the function getmycookie() and pass it the name of the cookie we are searching for
// if we found the cookie then
	if (ReadCookie("mysize")>0)
	{
		var div = document.getElementById("page");
// apply the text size change	
	div.style.fontSize = ReadCookie("mysize") + "px";
	}
}
//-->