document.getElementById('Num72').innerHTML='3517';
document.getElementById('up72').innerHTML='6';
document.getElementById('down72').innerHTML='-7';