刷新页面---js

经常使用的js来刷新页面的方式有：
 a). window.location.reload()
 b). window.history.go(0)
 c). document.execCommand('Refresh')