function changeFontSize(newSize){
	var expireDate = new Date
	expireDate.setMonth(expireDate.getMonth()+6)
	if (newSize=="bigger"){
		fontSize=fontSize+15	
		document.body.style.fontSize=fontSize+"%"
	}
	else if (newSize=="smaller"){
		fontSize=fontSize-15
		document.body.style.fontSize=fontSize+"%"
	}
	else {
		fontSize=100
		document.body.style.fontSize=fontSize+"%"
	}
document.cookie = "fontsize=" + fontSize +";expires="+expireDate.toGMTString()+"; path=/"
// alert(document.cookie)

}

	
<!-- hide from old browsers
var fontSize=100 // sets variable 'fontsize' for default 100%
// alert(document.cookie) for testing. Un-comment it out if you want to see what cookies have been set
thisCookie = document.cookie.split("; ") // if there is a cookie here set by this server it will be extracted
for (i=0; i<thisCookie.length; i++) {
if (thisCookie[i].split("=")[0] == 'fontsize') { // checks if a variable 'fontsize' has been previously set
fontSize=parseInt(thisCookie[i].split("=")[1])  // if it has, the page font size is set later to the preferred size
    }
  }
  
function clearSearch(){
	 document.forms[0].terms.value = "";
}
// end hiding -->