document.getElementById('Num1435').innerHTML='112';
document.getElementById('up1435').innerHTML='7';
document.getElementById('down1435').innerHTML='-1';