// JavaScript Document
function SetCookie(cookieName,cookieValue,nDays) {
 var today = new Date();
 var expire = new Date();
 if (nDays==null || nDays==0) nDays=1;
 expire.setTime(today.getTime() + 3600000*24*nDays);
 document.cookie = cookieName+"="+escape(cookieValue)
                 + ";expires="+expire.toGMTString();
} // Sets the cookie on the users machine to determine font size

function HoldSize(cookieName){
 var theCookie=""+document.cookie;
 var ind=theCookie.indexOf(cookieName);
 if (ind==-1 || cookieName=="") return "13"; 
 var ind1=theCookie.indexOf(';',ind);
 if (ind1==-1) ind1=theCookie.length; 
   var para = document.getElementById("maincontentsub");
   para.style.fontSize = theCookie.substring(ind+cookieName.length+1,ind1)+"px";
   } // Sets the font size to the cookie value when the page loads

function changeSize(px){
   var para = document.getElementById("maincontentsub");
   para.style.fontSize = px+"px";
} //changes the font size