document.getElementById('Num431').innerHTML='4013';
document.getElementById('up431').innerHTML='13';
document.getElementById('down431').innerHTML='-10';