push.js reference in index.html