document.getElementById("debuginfo").innerHTML = " Updated at 10:18:51, Processed in 0.096588 second(s), 2 Queries, Gzip enabled";