document.getElementById('Num4215').innerHTML='42';
document.getElementById('up4215').innerHTML='0';
document.getElementById('down4215').innerHTML='-0';