let default_page_type =
  "<?xml version=\"1.0\" encoding=\"iso-8859-1\"?>"^
  "<!DOCTYPE html \n"^
  "PUBLIC \"-//W3C//DTD XHTML 1.0 Strict//EN\"\n" ^
  "\"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd\">\n"