document.getElementById('Num935').innerHTML='15510';
document.getElementById('up935').innerHTML='56';
document.getElementById('down935').innerHTML='-61';