document.getElementById('Num3217').innerHTML='1143';
document.getElementById('up3217').innerHTML='3';
document.getElementById('down3217').innerHTML='-3';