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"