/*
 * Only uses iframes if browser needs it.
 *
 * $Id: png_sup.js,v 1.2 2007-09-28 22:59:53 edwaric Exp $
 */

  var g_currentMenu = null;

  /**
   * Stub for non-IE browsers.
   */
  function hideIFrame(divMenuID)
  {
    var t = typeof hideIFrame2;
    if( t == "function" || t == "object" ) hideIFrame2(divMenuID);
  }

  /**
   * Stub for non-IE browsers
   */
  function showIFrame(divMenuID)
  {
    var t = typeof showIFrame2;
    if( t == "function" || t == "object" ) showIFrame2(divMenuID);
  }