document.getElementById('Num3023').innerHTML='1040';
document.getElementById('up3023').innerHTML='10';
document.getElementById('down3023').innerHTML='-7';