具有scroll属性的html控件，可以用这个方法来实现页面刷新后的滚动条的定位。当然，函数是要做一下改动，把 with（window.document.body）中的body改为其他控件的ID就可以了： with（window.document.all["控件ID"]）
