document.getElementById('Num1145').innerHTML='459';
document.getElementById('up1145').innerHTML='9';
document.getElementById('down1145').innerHTML='-7';