document.getElementById('Num572').innerHTML='112';
document.getElementById('up572').innerHTML='4';
document.getElementById('down572').innerHTML='-3';