document.getElementById('Num135').innerHTML='2072';
document.getElementById('up135').innerHTML='9';
document.getElementById('down135').innerHTML='-12';