document.getElementById('Num3501').innerHTML='1513';
document.getElementById('up3501').innerHTML='9';
document.getElementById('down3501').innerHTML='-8';