document.getElementById('Num423').innerHTML='139';
document.getElementById('up423').innerHTML='3';
document.getElementById('down423').innerHTML='-8';