document.getElementById('Num1523').innerHTML='107';
document.getElementById('up1523').innerHTML='7';
document.getElementById('down1523').innerHTML='-1';