document.getElementById('Num1023').innerHTML='312';
document.getElementById('up1023').innerHTML='17';
document.getElementById('down1023').innerHTML='-312';