document.getElementById('Num1247').innerHTML='263';
document.getElementById('up1247').innerHTML='7';
document.getElementById('down1247').innerHTML='-1';