Here’s the address bar showing the most recent modification (at least it was at that moment).

It should be noted however, that this worked just fine in Google Chrome and Firefox, but in IE9, the entire text wouldn’t paste into the address bar and the text, javascript: needed to be typed in by hand.