/*
  Created:  2000-11-12
  Issued:   2001-01-11
  Modified: 2005-02-23

  Copyright (c) 2001-2006 by Philip Shaw, phil@codestyle.org

  This work is licensed under the Creative Commons
  Attribution-NonCommercial-ShareAlike License.
  To view a copy of this license, visit
  http://creativecommons.org/licenses/by-nc-sa/2.0/
  or send a letter to Creative Commons, 559 Nathan
  Abbott Way, Stanford, California 94305, USA.
*/

/*
  Successfully debugged for:
   Mozilla M15
   Netscape 3, 4.5, 6.0
   Internet Explorer 4.0 5.0, 5.5
   Opera 3.62, 4.0, 5.0, 5.11, 6.0
*/

// If menutxt is defined and not
// empty, write it to the document
///////////////////////////////////////
if((menutxt)&&(menutxt!='')){
  document.write(menutxt);
}