function ViewNums(){
document.getElementById('html_viewnums').innerHTML = '1539';
}
ViewNums();