document.getElementById('Num5751').innerHTML='1011';
document.getElementById('up5751').innerHTML='6';
document.getElementById('down5751').innerHTML='-5';