document.getElementById('Num1534').innerHTML='5713';
document.getElementById('up1534').innerHTML='29';
document.getElementById('down1534').innerHTML='-30';