document.querySelector('#diggnum').innerHTML=`9`;document.querySelector('.onclick').innerHTML=`31712`;document.querySelector('.onclick2').innerHTML=`31712`;