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