Update js_util.js