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