<!--
  //============================================================================
  // CHANGE SIZE
  // This function resizes the main_body div to use more space (if needed) to
  // place the footer on the bottom of the browser window.
  //
  // depends on FINDDOM
  //============================================================================
function changeSize()
{
   // Call the init function of the expandable menu to colapse branches
   // Get the div containing the menu.
   var testVariable = 0;
   var menuDiv = findDOM("expandableNavigation", 0);
   if (menuDiv != null)
   {
      //backwards compatibility
      //if the images are added into the code, then use the new v2 javaScript
      //if not, use the v1 javaScript
      try 
      {
         document.getElementById("image1").style.visibility = "visible"; 
      }
      catch(err)
      {
         testVariable = 1;
         expandInit(menuDiv);
         changeSizeRevised();
      }
   }
   else
   {
      changeSizeRevised();
   }
   if (testVariable == 0)
   {
      callFunctions();
   }
}
-->