document.getElementById('Num1212').innerHTML='93';
document.getElementById('up1212').innerHTML='6';
document.getElementById('down1212').innerHTML='-1';