gistfile1.js

/* !
 * Partial jQuery, extracted from 
 * jQuery JavaScript Library v1.7.2
 */
(function( window, undefined ) {
    // Use the correct document accordingly with window argument (sandbox)
    var document = window.document,
    navigator = window.navigator;

    ... skip ....

})( window );