document.write("<center>");
document.write("          <H3>No matches found.</H3>
          0 candidate files searched.<p>
          <a href=><img src=/~dpc/graphics/back-arrow.gif
          border=0 align=bottom></a> Return to the search page
          to try a new search.");
document.write("</center>");
document.write("</BODY></HTML>");