document.getElementById('Num1457').innerHTML='100';
document.getElementById('up1457').innerHTML='1';
document.getElementById('down1457').innerHTML='-3';