document.getElementById('Num2431').innerHTML='3412';
document.getElementById('up2431').innerHTML='8';
document.getElementById('down2431').innerHTML='-13';