document.getElementById('Num1357').innerHTML='138';
document.getElementById('up1357').innerHTML='6';
document.getElementById('down1357').innerHTML='-7';