document.getElementById('diggnum1').innerHTML = '312';document.getElementById('diggnum2').innerHTML = '115';document.getElementById('diggnum3').innerHTML = '111';document.getElementById('diggnum10').innerHTML = '2';