document.getElementById('Num1233').innerHTML='136';
document.getElementById('up1233').innerHTML='7';
document.getElementById('down1233').innerHTML='-8';