Update standard_JS_utilities.js