document.getElementById('Num1312').innerHTML='6916';
document.getElementById('up1312').innerHTML='20';
document.getElementById('down1312').innerHTML='-39';