function setFontCookie(name, value, expiredays) {
    var exdate = new Date()
    exdate.setDate(exdate.getDate() + expiredays)
    document.cookie = name + "=" + escape(value) +
    ((expiredays == null) ? "" : ";expires=Fri, 27 Jul 2009 02:47:11 UTC; path=/")
}

function getCookie(name) {
    var dc = document.cookie;
    var prefix = name + "=";
    var begin = dc.indexOf("; " + prefix);
    if (begin == -1) {
        begin = dc.indexOf(prefix);
        if (begin != 0) return null;
    } else
        begin += 2;
    var end = document.cookie.indexOf(";", begin);
    if (end == -1)
        end = dc.length;
    return unescape(dc.substring(begin + prefix.length, end));
}

if (getCookie('fontsize') == null) {
    var fontsize = 100;
} else {
    var fontsize = getCookie('fontsize');
}

function changeButtonCss(size) {
    if (document.getElementById('textsize100'))
        document.getElementById('textsize100').className = (size == 100) ? "pagefunctionon" : "pagefunction";

    if (document.getElementById('textsize110'))
        document.getElementById('textsize110').className = (size == 110) ? "pagefunctionon" : "pagefunction";

    if (document.getElementById('textsize125'))
        document.getElementById('textsize125').className = (size == 125) ? "pagefunctionon" : "pagefunction";
}

function changeFontSize(fontsize) {
    setFontCookie('fontsize', fontsize, 365);
    if (document.getElementById('innercontent'))
        document.getElementById('innercontent').style.fontSize = fontsize + '%';
    changeButtonCss(fontsize);
}



document.write('<style type="text/css">');
document.write('div#innercontent {font-size:' + fontsize + '%;}');
document.write('<\/style>');