document.getElementById('diggnum1').innerHTML = '214';document.getElementById('diggnum2').innerHTML = '211';document.getElementById('diggnum3').innerHTML = '31';document.getElementById('diggnum10').innerHTML = '0';