';
echo '';
echo 'Administration';
echo '';
echo ' ';
echo '';
if ($tok=="timereport")
echo '';
else if ($tok=="buggreport")
echo '';
echo '';
// echo '';
// echo '';
echo '';
echo '';
echo '';
echo '';
}
else {
echo '';
echo '';
echo '';
echo '';
echo '';
echo '';
echo '';
echo '';
echo '';
}
?>