--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/requester.js	Sun Sep 15 11:46:47 2019 +0200
@@ -0,0 +1,42 @@
+function requestjss(file) {
+    console.log("Requesting", file);
+    var req = new XMLHttpRequest();
+
+    // report progress events
+    req.addEventListener("progress", function(event) {
+        if (event.lengthComputable) {
+            var percentComplete = event.loaded / event.total;
+            if(file==="graphics.js") bar.animate(percentComplete);  // Value from 0.0 to 1.0
+
+            console.log("complete=", percentComplete)
+        } else {
+            // Unable to compute progress information since the total size is unknown
+        }
+    }, false);
+
+    // load responseText into a new script element
+    req.addEventListener("load", function(event) {
+        var e = event.target;
+        var s = document.createElement("script");
+        s.innerHTML = e.responseText;
+        // or: s[s.innerText!=undefined?"innerText":"textContent"] = e.responseText
+        document.documentElement.appendChild(s);
+        console.log("Finished 2:", file);
+        if(file==="/js/graphics.js")
+        {
+            requestjss("/js/game.js");
+        }
+        else
+        {
+            setup_labyrinth(event);
+            document.getElementById("loader_div").style.visibility = 'hidden';
+        }
+
+        s.addEventListener("load", function() {
+            // this runs after the new script has been executed...
+            });
+    }, false);
+
+    req.open("GET", file);
+    req.send();
+}