document.getElementById('Num129').innerHTML='3009';
document.getElementById('up129').innerHTML='9';
document.getElementById('down129').innerHTML='-9';