modify bookmarklet.js