'; echo ''; echo 'Administration'; echo ''; echo ' '; echo ''; if ($tok=="timereport") echo ''; else if ($tok=="buggreport") echo ''; echo ''; // echo ''; // echo ''; echo ''; echo '<BODY bgcolor="#FFFFFF">'; echo '</BODY>'; echo ''; } else { echo ''; echo ''; echo ''; echo ''; echo ''; echo ''; echo ''; echo ''; echo '
User:
Password:
'; } ?>