// JavaScript Document
//fix for page background
    function divHeight()
    {
		myLHC = document.getElementById("lhc");
		myRHC = document.getElementById("rhc");
		myDiv =  document.getElementById("mid");
		
		getH1 = myLHC.clientHeight;
		getH2 = myRHC.clientHeight;
		
		if(getH1>getH2)
		{
		highest = getH1;
		}
		else
		{
		highest = getH2;	
		}
		myLHC.style.height=getH1+"px";
		myLHC.style.backgroundImage="url(images/page_tile.gif)";
		//myRHC.style.height=getH1+"px";
		//myRHC.style.backgroundImage="url(images/page_tile.gif)";
		myDiv.style.height=highest+"px";
		myDiv.style.backgroundImage="url(images/page_tile.gif)";

    }