update ws_util.js