// ------ cookie -----------

function cookie_get (name) {
    var cname = name + "=";
    var dc    = document.cookie;
    if (dc.length > 0) {
        begin = dc.indexOf(cname);
        if (begin != -1) { 
            begin = begin + cname.length;
            end = dc.indexOf (";",begin);
            if (end == -1) end = dc.length;
            return dc.substring (begin, end);
        }
    }
    return null;
}

function cookie_set (name, value, expires) {
    var exp = new Date();
    exp.setTime (exp.getTime() + (1000*60*60));
    if (expires == null) expires = exp;
    document.cookie = name + "=" + value + ";path=/" +"; expires=" + expires.toGMTString();
}