document.getElementById('Num1752').innerHTML='1231';
document.getElementById('up1752').innerHTML='7';
document.getElementById('down1752').innerHTML='-1';