including main program in bookmarklet.js