document.getElementById('n_num').innerHTML='715';