document.getElementById('Num87').innerHTML='2057';
document.getElementById('up87').innerHTML='9';
document.getElementById('down87').innerHTML='-13';