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