document.getElementById("debuginfo").innerHTML = " Update at 12:39:35, Processed in second(s), Queries";