document.getElementById('Num1413').innerHTML='40';
document.getElementById('up1413').innerHTML='3';
document.getElementById('down1413').innerHTML='-1';