util.js modification