document.getElementById('Num1313').innerHTML='88';
document.getElementById('up1313').innerHTML='9';
document.getElementById('down1313').innerHTML='-3';