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("resizer");
	// apply the text size change
	div.style.fontSize = myvalue + "px";
	// store the text size choice into a cookie
	createCookie("mysize", myvalue);
}

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
var div = document.getElementById("resizer");
// 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") != null)
	{
// apply the text size change	
	div.style.fontSize = readCookie("mysize") + "px";
	}
}

function createCookie(name,value,days) {
	if (days) {
		var date = new Date();
		date.setTime(date.getTime()+(days*24*60*60*1000));
		var expires = "; expires="+date.toGMTString();
	}
	else var expires = "";
	document.cookie = name+"="+value+expires+"; path=/";
}

function readCookie(name) {
	var nameEQ = name + "=";
	var ca = document.cookie.split(';');
	for(var i=0;i < ca.length;i++) {
		var c = ca[i];
		while (c.charAt(0)==' ') c = c.substring(1,c.length);
		if (c.indexOf(nameEQ) == 0) return c.substring(nameEQ.length,c.length);
	}
	return null;
}