<!--
/* Function used to dynamically set the sise of our navigation / side fill down to the page footer  */
/* Adds the height of the top header images together, plus some extra pixels (pixAdj) to account for */
/* padding above and below the header, and subtracts this from the document's total height */
/* the remainder is used to set the total height of the dvBrowse div tag (nav and sidefill) */
function sideFill() {

var pixAdj = 30;
var myDiv = document.getElementById('dvBrowse')
var inDocH = getDocHeight();
var inHdrImgTop = document.getElementById('imgHdrTop').height;
var inHdrImgBot = document.getElementById('imgHdrBot').height;
var inFillAmount =  parseInt(inDocH) - parseInt(inHdrImgTop + inHdrImgBot + pixAdj); 
//var myMenubar = document.getElementById('MenuBar1');
//var inMenuBar = myMenubar.style.height + 'px';

if(parseInt(inFillAmount) > 15)
   {
     // alert(inFillAmount);
	  myDiv.style.height = inFillAmount + 'px';
      
   }
}

function getDocHeight() {
    var D = document;
    return Math.max(
        Math.max(D.body.scrollHeight, D.documentElement.scrollHeight),
        Math.max(D.body.offsetHeight, D.documentElement.offsetHeight),
        Math.max(D.body.clientHeight, D.documentElement.clientHeight)
    );
}

//-->