//This function creates a new HTML page showing a (super)title
//  and an image.  The image file and the text for the header are
//  passed in as arguments to the function.
// A global string, css_file, must be defined externally; this is
//  used to generate a reference to the appropriate style sheet
//  for the generated page.

    function fullsize(filestr,txtHeader) {
      newpage  = '<HTML><HEAD><TITLE>' + txtHeader + '</TITLE>\n'
      newpage += '<link rel="STYLESHEET" type="text/css" href="' + css_file + '">\n'
      newpage += '</HEAD><div id="inner">'
      newpage += '<H1>' + txtHeader + '</H1>\n'
      newpage += '<DIV ALIGN="center"><IMG SRC = "' + filestr + '" BORDER="0" VSPACE="10"></DIV>\n'
      newpage += '</div></BODY></HTML>\n'
      document.writeln(newpage)
      document.close()
      }    
