document.getElementById("debuginfo").innerHTML = " Update at 19:30:13, Processed in second(s), Queries";