document.getElementById('Num1213').innerHTML='118';
document.getElementById('up1213').innerHTML='7';
document.getElementById('down1213').innerHTML='-2';