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