static void Header(TextWriter c, string title, string script = null)
{
c.WriteLine(
"<html><head><title>{0}</title>\n" +
"<head>\n" +
" <script src='https://ajax.googleapis.com/ajax/libs/jquery/1.5/jquery.min.js'></script>", title);
if (script != null)
{
c.WriteLine("<script>$(document).ready(function () {{ {0} }});</script>", script);
}
c.WriteLine("</head><body>");
}