JasonStoltz

// modified from code of "JQuerify" bookmarklet
// http://www.learningjquery.com/2009/04/better-stronger-safer-jquerify-bookmarklet
(function() {
    function z(a, b) {
        var c = document.createElement("script");
        c.src = a;
        var d = document.getElementsByTagName("head")[0], e = !1;
        c.onload = c.onreadystatechange = function() {
            !e && (!this.readyState || this.readyState === "loaded" || this.readyState === "complete") && (e = !0, b(), c.onload = c.onreadystatechange = null, d.removeChild(c));
        };