import java.io.*;
import junit.framework.TestCase;
public class HTMLTester extends TestCase {
  
  public void testGuessDivisorsHTML() throws IOException {
    BufferedReader br=
      new BufferedReader(new FileReader("GuessDivisors.html"));
    String firstLine= br.readLine();
    br.close();
    assertTrue("Is GuessDivisors.html HTML?",
               firstLine.matches("^\\s*<!DOCTYPE HTML PUBLIC.*$"));
  }
  
  public void testBracketGuessDivisorsHTML() throws IOException {
    BufferedReader br=
      new BufferedReader(new FileReader("BracketGuessDivisors.html"));
    String firstLine= br.readLine();
    br.close();
    assertTrue("Is BracketGuessDivisors.html HTML?",
               firstLine.matches("^\\s*<!DOCTYPE HTML PUBLIC.*$"));
  }
  
}