document.getElementById("stat_num").innerHTML=""