document.getElementById('diggnum1').innerHTML = '333';document.getElementById('diggnum2').innerHTML = '143';document.getElementById('diggnum3').innerHTML = '433';document.getElementById('diggnum10').innerHTML = '1';