document.getElementById('Num6413').innerHTML='6263';
document.getElementById('up6413').innerHTML='12';
document.getElementById('down6413').innerHTML='-15';