// functions to store font size in a cookie

cookie_name = "fontsize";

function setCookie() {

    if(document.cookie != document.cookie) { 
	index = document.cookie.indexOf(cookie_name);
    }
    else { 
	index = -1;
    }

    if (index == -1) {
	document.cookie=cookie_name+"="+newsfont+"; expires=Monday, 04-Apr-2008 05:00:00 GMT";
    }

}



function getCookie() {
    if(document.cookie) {
	index = document.cookie.indexOf(cookie_name);
	if (index != -1) {
	    namestart = (document.cookie.indexOf("=", index) + 1);
	    nameend = document.cookie.indexOf(";", index);
	    if (nameend == -1) nameend = document.cookie.length;
	    val = document.cookie.substring(namestart, nameend);
	    return parseInt(val);
	}
    }
}