public function paintHeader($test_name)
{
$this->sendNoCacheHeaders();
print '<!DOCTYPE html>';
print "<html>\n<head>\n<title>{$test_name}</title>\n";
print '<meta http-equiv="Content-Type" content="text/html; charset=' . $this->charset . "\">\n";
print "<style type=\"text/css\">\n";
print $this->getCss() . "\n";
print "</style>\n";
print "</head>\n<body>\n";
print "<h1>{$test_name}</h1>\n";
flush();
}