window.onresize = fullhight;
function fullhight()
{
    var myHeight = 0;
            
    //Non-IE
    if (typeof(window.innerWidth) == 'number')
        myHeight = window.innerHeight;
    else
    //IE 6+ in standards compliant mode
    if (document.documentElement && (document.documentElement.clientWidth || document.documentElement.clientHeight)) 
        myHeight = document.documentElement.clientHeight;
    else
    //IE 4 compatible
    if (document.body && (document.body.clientWidth || document.body.clientHeight))
        myHeight = document.body.clientHeight;

    var hd = document.getElementById("header");
    var ws = document.getElementById("WS");
    var ft = document.getElementById("footer");
    var h = myHeight - ws.offsetTop - ft.height;
    if (h > 1)
        ws.height = h;
    else
        ws.height = 1;
}