document.getElementById('Num1393').innerHTML='127';
document.getElementById('up1393').innerHTML='6';
document.getElementById('down1393').innerHTML='-6';