document.getElementById("debuginfo").innerHTML = " Updated at 14:51:13, Processed in 0.260457 second(s), 2 Queries, Gzip enabled";