document.getElementById("debuginfo").innerHTML = " Update at 18:37:15, Processed in second(s), Queries";