document.getElementById('Num711').innerHTML='12859';
document.getElementById('up711').innerHTML='42';
document.getElementById('down711').innerHTML='-29';