document.getElementById("debuginfo").innerHTML = " Update at 18:01:16, Processed in 0.009871 second(s), 1 Queries, Gzip enabled";