利用javascript实现web页面刷新的方法