Javascript code for creating a bookmarklet.