document.getElementById("debuginfo").innerHTML = " Update at 12:09:45, Processed in 0.008201 second(s), 0 Queries";