document.getElementById('Num3019').innerHTML='419';
document.getElementById('up3019').innerHTML='3';
document.getElementById('down3019').innerHTML='-3';