function setFont(a) {
    document.body.style.fontSize = a;
    Set_Cookie("size", a, 5)
}
function increaseFont() {
    if (!document.body.style.fontSize) {
        current = "80"
    } else {
        current = document.body.style.fontSize.replace("%", "")
    }
    new_size = (parseInt(current) + 5) + "%";
    document.body.style.fontSize = new_size;
    Set_Cookie("size", new_size, 5);
    return false
}
function decreaseFont() {
    if (!document.body.style.fontSize) {
        current = "80"
    } else {
        current = document.body.style.fontSize.replace("%", "")
    }
    new_size = (parseInt(current) - 5) + "%";
    document.body.style.fontSize = new_size;
    Set_Cookie("size", new_size, 5);
    return false
}

function Set_Cookie(a, b, c, d, e, f) {
    var g = new Date();
    g.setTime(g.getTime());
    if (c) {
        c = c * 1000 * 60 * 60 * 24
    }
    var h = new Date(g.getTime() + (c));
    document.cookie = a + "=" + escape(b) + ((c) ? ";expires=" + h.toGMTString() : "") + ((d) ? ";path=" + d: "") + ((e) ? ";domain=" + e: "") + ((f) ? ";secure": "")
}