var menu_initialized = false;
  var SubContainer = null;
  var SubContents = [];
  var StayOpen = false;
  var TMO = 1000;

  function SetStay( b_val ) { StayOpen = b_val; }
  function WaitBeforeHide() { if ( !StayOpen ) SubContainer.innerHTML = ''; }
  function HideSub() { if ( menu_initialized && !StayOpen ) setTimeout( 'WaitBeforeHide();', TMO ); }
  function ShowSub( id_menu ) { if ( menu_initialized ) SubContainer.innerHTML = SubContents[ id_menu ]; }
  function AddSubMenu( id_menu, div_content ) { SubContents[ id_menu ] = div_content; }
  function FormatSubContainer( txt ) {
    return '<table border="1" cellspacing="0" cellpadding="0"><tr><td>' + txt + '</td></tr></table>';
  }