// JavaScript Document

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("mymain");
// apply the text size change
div.style.fontSize = myvalue + "px";
// store the text size choice into a cookie with a life of 12 months
var expireDate = new Date
expireDate.setMonth(expireDate.getMonth()+12)
document.cookie="mysize="+ myvalue+";expires="+expireDate.toGMTString();
}

function getmycookie(myname)
// this function is called by the function mydefaultsize()
// this function merely looks for any previously set cookie and then returns its value
{
// if any cookies have been stored then
if (document.cookie.length>0)
  {
// where does our cookie begin its existence within the array of cookies  
    mystart=document.cookie.indexOf(myname + "=");
// if we found our cookie name within the array then
  if (mystart!=-1)
    {
// lets move to the end of the name thus the beginning of the value
// the '+1' grabs the '=' symbol also
    mystart=mystart + myname.length+1;
// because our document is only storing a single, 2 character cookie (14, 17 or 20), let's add two positions to myend variable to specify end of cookie
	  myend = mystart+2;
//	  now mystart=7 and myend=9
// return the value of the cookie which exists after the cookie name and before the end of the cookie
    return document.cookie.substring(mystart,myend);
    }
  }
// if we didn't find a cookie then return nothing  
 return "";
}

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("mymain");
// call the function getmycookie() and pass it the name of the cookie we are searching for
// if we found the cookie then
	if (getmycookie("mysize")>0)
	{
// apply the text size change	
	div.style.fontSize = getmycookie("mysize") + "px";
	}
}