private function table_encode($stats)
{
$html = '<html><body>';
foreach ($stats as $name => $value) {
$html .= "<tr><td>{$name}</td><td>{$value}</td></tr>\n";
}
$html .= '</body></html>';
return $html;
}