bookmarklet actually executes