document.getElementById('view_time').innerHTML = '6371';