sfHover = function() {
    var sfEls = document.getElementById("mainMenu").getElementsByTagName("LI");
    for (var i = 0; i < sfEls.length; i++) {
        sfEls[i].onmouseover = function() {
            this.className += " ie_does_hover";
        }
        sfEls[i].onmouseout = function() {
            this.className = this.className.replace(new RegExp(" ie_does_hover\\b"), "");
        }
    }
}
if (window.attachEvent) window.attachEvent("onload", sfHover);



function GetCookie(name) {
    var arg = name + "=";
    var alen = arg.length;
    var clen = document.cookie.length;
    var i = 0;
    while (i < clen) {
        var j = i + alen;
        if (document.cookie.substring(i, j) == arg)
            return getCookieVal(j);
        i = document.cookie.indexOf(" ", i) + 1;
        if (i == 0) break;
    }
    return null;
}


function SetCookie(name, value) {
    var argv = SetCookie.arguments;
    var argc = SetCookie.arguments.length;
    var expires = (argc > 2) ? argv[2] : null;
    var path = (argc > 3) ? argv[3] : null;
    var domain = (argc > 4) ? argv[4] : null;
    var secure = (argc > 5) ? argv[5] : false;

    document.cookie = name + "=" + escape(value) +
        ((expires == null) ? "" : ("; expires=" + expires.toGMTString())) +
        ((path == null) ? "" : ("; path=" + path)) +
        ((domain == null) ? "" : ("; domain=" + domain)) +
        ((secure == true) ? "; secure" : "");
}


function DeleteCookie(name) {
    var exp = new Date();
    exp.setTime(exp.getTime() - 1);
    var cval = GetCookie(name);
    document.cookie = name + "=" + cval + "; expires=" + exp.toGMTString();
}


function getCookieVal(offset) {
    var endstr = document.cookie.indexOf(";", offset);
    if (endstr == -1)
        endstr = document.cookie.length;
    return unescape(document.cookie.substring(offset, endstr));
}

function checkResolution() {
    var res = GetCookie('resolution');

    w = screen.width;

    if (res == null) {
    //if (res != w) {


        //w = screen.width; // -> gaat mis met 2 monitoren en 1tje op high en de andere op low 

        if (window.innerWidth) {
            w = window.innerWidth;
        } else {
            if (!(document.documentElement.clientWidth == 0)) { //strict mode
                w = document.documentElement.clientWidth;
            } else { //quirks mode
                w = document.body.clientWidth;
            }
        }

        //alert("change");

        SetCookie('resolution', ((w > 1024) ? 1280 : 1024));
        if (w <= 1024) {
            location.href = location.href; // dit kan mis gaan als de gebruiker geen cookies wil..
        }

    }

    //alert("1:"+w);
    //alert("2:"+res);
}

function checkTime() {
    var body = document.getElementsByTagName('body')[0];
    var thetime = new Date();
    if (body) {
        var hours = "" + thetime.getHours();

        if (hours.length == 1)
            body.className = 'hour0' + hours;
        else
            body.className = 'hour' + hours;

        setTimeout('checkTime();', 300000);
    }
}
setTimeout('checkTime();', 300);

if (window.addEventListener) {
    window.addEventListener("load", checkResolution, false);
} else if (window.attachEvent) {
    window.attachEvent("onload", checkResolution);
}