document.getElementById('Num718').innerHTML='15023';
document.getElementById('up718').innerHTML='101';
document.getElementById('down718').innerHTML='-112';