document.getElementById("debuginfo").innerHTML = " Update at 09:30:31, Processed in 0.013153 second(s), 2 Queries, Gzip enabled";