document.getElementById('Num1547').innerHTML='812';
document.getElementById('up1547').innerHTML='7';
document.getElementById('down1547').innerHTML='-5';