<?php
//
// A "Standard Document" wrapper. I could ALMOST make this work
// according to its OWN name, were it not that the document title might
// be longer and different...
//
include "common.php";
display_doc("dieharder", "dieharder");
function display_main()
{
if (!isset($_GET["display"])) {
$_GET["display"] = "notice";
}
if ($_GET["display"] == "register") {
display_register();
} else {
if ($_GET["display"] == "clarifications") {
display_clarifications();
} else {
if ($_GET["display"] == "account") {
display_account();
} else {
if ($_GET["display"] == "problem") {
display_problem();
} else {
if ($_GET["display"] == "submissions") {
display_submissions();
} else {
if ($_GET["display"] == "rankings") {
display_rankings();
} else {
if ($_GET["display"] == "code") {
display_code();
} else {
if ($_GET["display"] == "scoreboard") {
display_scoreboard();
} else {
if ($_GET["display"] == "adminsettings") {
display_adminsettings();
} else {
if ($_GET["display"] == "admindata") {
display_admindata();
} else {
if ($_GET["display"] == "adminproblem") {
display_adminproblem();
} else {
if ($_GET["display"] == "adminteam") {
display_adminteam();
} else {
if ($_GET["display"] == "admingroup") {
display_admingroup();
} else {
if ($_GET["display"] == "adminlogs") {
display_adminlogs();
} else {
if ($_GET["display"] == "doc") {
display_doc();
} else {
if ($_GET["display"] == "faq") {
display_faq();
} else {
if ($_GET["display"] == "notice") {
display_notice();
} else {
display_notice();
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}