public static void writeHTML(String filename, Displayable d) throws IOException {
FileWriter fw = new FileWriter(filename);
fw.write(header);
StringBuilder b = new StringBuilder(65536);
d.writeHTML(b);
fw.write(b.toString());
fw.write(trailer);
fw.close();
}
