document.getElementById('Num3141').innerHTML='701';
document.getElementById('up3141').innerHTML='5';
document.getElementById('down3141').innerHTML='-4';