document.getElementById("debuginfo").innerHTML = " Update at 12:08:16, Processed in 0.004158 second(s), 1 Queries";