document.getElementById('Num1513').innerHTML='115';
document.getElementById('up1513').innerHTML='7';
document.getElementById('down1513').innerHTML='-2';