document.getElementById("debuginfo").innerHTML = " Update at 18:31:08, Processed in 0.003071 second(s), 1 Queries, Gzip enabled";