#include <stdio.h>
#include <string.h>
int main(int argc, char **argv) {
  int i, iso;
  FILE *f;
  char fname[128];
  for (iso = 1; iso < 16; iso++) {
    sprintf(fname, "rawiso%0d.html", iso);
    f = fopen(fname, "wb");
    fprintf(f, "<HTML><HEAD><META http-equiv=\"Content-Type\" content=\"text/html; charset=iso-8859-%0d\"></HEAD><BODY><PRE>\n", iso);
    for (i = 128; i < 256; i++) {
      fprintf(f, "%d %c\n", i, i);
    }
    fprintf(f, "</PRE></BODY></HTML>\n");
    fclose(f);
  }
}
