// 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, 01-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);
    }
    }
}