document.getElementById('Num1301').innerHTML='13016';
document.getElementById('up1301').innerHTML='87';
document.getElementById('down1301').innerHTML='-56';