document.getElementById('Num1542').innerHTML='7890';
document.getElementById('up1542').innerHTML='22';
document.getElementById('down1542').innerHTML='-17';