//---------------------------------------------------------------------
//
// change_display
//
//---------------------------------------------------------------------
function change_display(id, setTo) 
{
   //alert(id);
   var theElement;
   if (document.getElementById) 
   {
      //DOM
      theElement = document.getElementById( id );
   }
   else if (document.all)
   {
      //Proprietary DOM
      theElement = document.all[ id ];
   }
  
   if (!theElement)
   {
      /* The page has not loaded, or the browser claims to
      support document.getElementById or document.all but
      cannot actually use either */
      return;
  }

   //Reference the style ...
   if (theElement.style)
      theElement = theElement.style;
      
   if (typeof(theElement.display) == 'undefined') 
   {
      //The browser does not allow us to change the display style
      //Alert something sensible (not what I have here ...)
      window.alert( 'Your browser does not support this' );
      return;
   }
  
   //Change the display style
   theElement.display = setTo;
}