document.getElementById('Num3143').innerHTML='1146';
document.getElementById('up3143').innerHTML='3';
document.getElementById('down3143').innerHTML='-2';