document.getElementById('Num717').innerHTML='6588';
document.getElementById('up717').innerHTML='36';
document.getElementById('down717').innerHTML='-31';