// popup(file,options,width,height) function
//
// To display a popup window containing an HTML file with the following options...
//
// "file" absolute or relative address of the HTML file to be displayed.
// "options" variable containing the window display options comma separated. If no options
//   are specified then all will be set to yes, with options specified all unspecified
//   options are set to no. Possible options are...
//     toolbar=yes/no - display browser toolbar (yes/no).
//     location=yes/no - display browser location entry field (yes/no).
//     directories=yes/no - display browser directory buttons (yes/no).
//     status=yes/no - display browser status bar (yes/no).
//     menubar=yes/no - display browser menu (yes/no).
//     scrollbars=yes/no - display browser scrollbars if required (yes/no).
//     resizable=yes/no - allow popup window to be resized (yes/no).
// "width" width of window variable can be set to either...
//     0 or left out - popup window will appear full screen size.
//     integer value - width of popup window in pixels.
// "height" height of window variable can be set to either...
//     0 or left out - popup window will appear full screen size.
//     integer value - height of popup window in pixels.
//
function launchPlayer(file,options,width,height) {
  if ((width != 0 || width !=null) && (height != 0 || height !=  null)) {
    options = options+",width="+width+",height="+height;
  }
  var textWindow=window.open(file,"TextWindow",options);
}