document.getElementById('Num715').innerHTML='6834';
document.getElementById('up715').innerHTML='25';
document.getElementById('down715').innerHTML='-30';