document.getElementById('Num3145').innerHTML='496';
document.getElementById('up3145').innerHTML='6';
document.getElementById('down3145').innerHTML='-7';