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