function getInnerWindowWidth()
{
    var window_width = 0;
    if ( typeof( window.innerWidth ) == 'number' )
       window_width = window.innerWidth;
    else
    if (
         document.documentElement
      && document.documentElement.clientWidth
       )
       window_width = document.documentElement.clientWidth;
    else
    if (
         document.body
      && document.body.clientWidth
       )
       window_width = document.body.clientWidth;

    return window_width;
}
function getInnerWindowHeight() {
    var window_Height = 0;
    if (typeof window.innerHeight == "number") {
        window_Height = window.innerHeight;
    } else if (document.documentElement && document.documentElement.clientHeight) {
        window_Height = document.documentElement.clientHeight;
    } else if (document.body && document.body.clientHeight) {
        window_Height = document.body.clientHeight;
    }
    return window_Height;
}


// gives IE6 the ability to hover other tags than A
sfHover = function() {
    var sfEls = document.getElementById("navigation").getElementsByTagName("LI");
    
    for (var i=0; i<sfEls.length; i++) {
        sfEls[i].onmouseover=function() {
            this.className+=" sfhover";
        }
        sfEls[i].onmouseout=function() {
            this.className=this.className.replace(new RegExp(" sfhover\\b"), "");
        }
    }
}
if (window.attachEvent) window.attachEvent("onload", sfHover);