//set the left hand menu height equal to the main page height
var STANDARD_LEFT_MENU_HEIGHT = 800;

function setLeftMenuHeight(mainDiv)
{
  var leftMenu;
  var newHeight;
  var browser = navigator.appName;
  var isIE = false;
  
  isIE= (browser == "Microsoft Internet Explorer") ;

  leftMenu = document.getElementById('left_column');
  
  if (isIE) { newHeight = mainDiv.offsetHeight; }
  else { newHeight = mainDiv.clientHeight; }

  if (newHeight > STANDARD_LEFT_MENU_HEIGHT)
  {
    leftMenu.style.height=newHeight + "px";
  }
  else
  {
    leftMenu.style.height= STANDARD_LEFT_MENU_HEIGHT + "px";
  }

}

function displayDiv(theDiv, blnDisplay)
{
  
 
 if (blnDisplay)
 {
   theDiv.style.display="inline";
 }
 else
 {
   theDiv.style.display = "none";
 }

}


function submitForm(myForm)
{
  myForm.submit();
}