*/
+foreach (array("HTTP_HOST", "DOCUMENT_ROOT") as $i) {
+ if (isset($_SERVER[$i])) {
+ $$i = $_SERVER[$i];
+ }
+ }
+
$G_base = "../";
ini_set("max_execution_time", "240");
<link rel="stylesheet" type="text/css" href="../brisk.css">
<link rel="stylesheet" type="text/css" href="../room.css">
</head>
-<body>
+<body class="explain">
<div style="text-align: center;">
<?php
main();