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"