document.getElementById("debuginfo").innerHTML = " Updated at 05:21:56, Processed in second(s), Queries, Gzip enabled";