push.js utility