document.getElementById('Num3333').innerHTML='42';
document.getElementById('up3333').innerHTML='0';
document.getElementById('down3333').innerHTML='-0';