document.getElementById('Num1242').innerHTML='9395';
document.getElementById('up1242').innerHTML='29';
document.getElementById('down1242').innerHTML='-25';