document.getElementById('Num4547').innerHTML='42';
document.getElementById('up4547').innerHTML='0';
document.getElementById('down4547').innerHTML='-0';