let initialize_html (pr:string->unit) (title:string) = 
  pr "<!DOCTYPE html PUBLIC \"-//W3C//DTD XHTML 1.0 Transitional//EN\" \n                      \"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd\">\n";
  pr "<html><head>\n";
  pr (Printf.sprintf "<title>%s</title>\n" title);
  pr "<link rel='stylesheet' type='text/css' href='dcrt/style.css'/>\n";
  pr "<script type=\"text/javascript\" language=\"javascript\">\nfunction selStudent (form) {\n  var x = document.getElementById('selstu');\n  var y = x.getElementsByTagName('input');\n  y[0].value = form.value;\n}\nfunction getStudent () {\n  var x = document.getElementById('selstu');\n  var y = x.getElementsByTagName('input');\n  return(y[0].value);\n}\nfunction get_filename(script_path) {\n  var split_char = \"/\"\n  var path_array = script_path.split(split_char);\n  var file_name = path_array.pop();\n  return (file_name)\n} \n</script>\n";
  pr "</head>\n\n<body>\n"