util.js