document.getElementById('Num935').innerHTML='15560';
document.getElementById('up935').innerHTML='58';
document.getElementById('down935').innerHTML='-62';