//<!-- JAVASCRIPT POPUP WINDOW CODE BEGIN -->

    //----------------------------------------------------------------------------
    //  Open pop-up window
    //----------------------------------------------------------------------------
    // Parameters:
    //  theURL - URL to open in new window
    //  theName - The name of the new window
    //  theParameters - Window size, position, scrollbars yes/no, nav bars, etc
    //
    // Can be called using:
    //  onLoad, OnClick, <A HREF="Javascript:func();"></a>
    //----------------------------------------------------------------------------

        function view_popup(theURL,theName,theParameters) { 
          window.open(theURL,theName,theParameters);
        }

//<!-- JAVASCRIPT POPUP WINDOW CODE END -->


//<!-- JAVASCRIPT STATUS LINE CODE BEGIN -->

    //----------------------------------------------------------------------------
    //  Display text in the status line of the browser window
    //----------------------------------------------------------------------------
    // Parameters:
    //  theText - Text to be displayed
    //
    // Can be called using:
    //  onLoad, OnMouseOver (must include "return true;"), OnMouseOut, OnClick
    //----------------------------------------------------------------------------

        function set_status(theText) { 
          window.status=theText;
        }

//<!-- JAVASCRIPT STATUS LINE CODE END -->