document.getElementById('Num493').innerHTML='10911';
document.getElementById('up493').innerHTML='35';
document.getElementById('down493').innerHTML='-139';