var isDOM=document.getElementById //DOM1 browser (MSIE 5+, Netscape 6, Opera 5+)
var isMSIE=document.all && document.all.item //Microsoft Internet Explorer 4+
var isNetscape4=document.layers //Netscape 4.*
var isOpera=window.opera //Opera
var isOpera5=isOpera && isDOM //Opera 5+
var isMSIE5=isDOM && isMSIE && !isOpera //MSIE 5+
var isMozilla=isNetscape6=isDOM && !isMSIE && !isOpera 


function setNavigation() {
	var sizes = getPageSize();
//	alert("0: " +sizes[0] + " 1: "  +sizes[1] + " 2: " + sizes[2] + " 3: " +sizes[3]);
//	document.getElementById("navigation").style.height = (sizes[3]) + "px";
}

// getPageSize()
// Returns array with page width, height and window width, height
// Core code from - quirksmode.org
// Edit for Firefox by pHaez
//
function getPageSize(){
    
    var xScroll, yScroll;
    
    if (window.innerHeight && window.scrollMaxY) {   
        xScroll = document.body.scrollWidth;
        yScroll = window.innerHeight + window.scrollMaxY;
    } else if (document.body.scrollHeight > document.body.offsetHeight){ // all but Explorer Mac
        xScroll = document.body.scrollWidth;
        yScroll = document.body.scrollHeight;
    } else { // Explorer Mac...would also work in Explorer 6 Strict, Mozilla and Safari
        xScroll = document.body.offsetWidth;
        yScroll = document.body.offsetHeight;
    }
    
    var windowWidth, windowHeight;
    if (self.innerHeight) {    // all except Explorer
        windowWidth = self.innerWidth;
        windowHeight = self.innerHeight;
    } else if (document.documentElement && document.documentElement.clientHeight) { // Explorer 6 Strict Mode
        windowWidth = document.documentElement.clientWidth;
        windowHeight = document.documentElement.clientHeight;
    } else if (document.body) { // other Explorers
        windowWidth = document.body.clientWidth;
        windowHeight = document.body.clientHeight;
    }   
    
    // for small pages with total height less then height of the viewport
    if(yScroll < windowHeight){
        pageHeight = windowHeight;
    } else {         pageHeight = yScroll;
    }

    // for small pages with total width less then width of the viewport
    if(xScroll < windowWidth){   
        pageWidth = windowWidth;
    } else {
        pageWidth = xScroll;
    }

	// position div in middle of viewport too - Jason Paige

	if (window.innerHeight) {
		theHeight = window.innerHeight;
	} else if (document.documentElement && document.documentElement.clientHeight) {
		theHeight = document.documentElement.clientHeight;
	} else if (document.body) {
		theHeight = document.body.clientHeight;
	}

    arrayPageSize = new Array(pageWidth,pageHeight,windowWidth,windowHeight)
	
	return arrayPageSize;
}