+# load static contents
+
+ob_start(); # page body
+ob_start(); # inner html
+print '<div class="static">'."\n\n";
+
+$found = FALSE;
+if (file_exists("$Page$Args/index.html")) {
+ $found = include "./$Page$Args/index.html";
+}
+elseif (file_exists("$Page$Args.html")) {
+ $found = include "./$Page$Args.html";
+}
+
+print "</div>\n\n";
+
+# execute dynamic code
+
+if ($Page) {
+ $found |= require "./$Page.php";
+}
+
+# global html
+
+include_once 'page.inc.php';
+
+if (!$found) {
+ # no resulting output
+ if (isset($User) and $User['admin']) {
+ require './template.html';
+ }
+ else {
+ http_response_code(404);
+ ob_start();
+ require "./404.html";
+ $url = htmlspecialchars($_SERVER['REQUEST_URI']);
+ print str_replace('[[url]]', $url, ob_get_clean());
+ }
+}
+