document.getElementById('diggnum1').innerHTML = '23';document.getElementById('diggnum2').innerHTML = '134';document.getElementById('diggnum3').innerHTML = '44';document.getElementById('diggnum10').innerHTML = '0';