jQuery 1.0.2

            context = context.documentElement;
            t = t.substr(1,t.length);
            // FIX Assume the root element is right ????
            if ( t.indexOf(“/”) >= 1 )
                t = t.substr(t.indexOf(“/”),t.length);
        }
        var ret = [context];
        var done = [];
        var last = null;
        while ( t.length > 0 && last != t ) {
            var r = [];
            last = t;
            t = jQuery.trim(t).replace( /^///i, “” );
            var foundToken = false;
            for ( var i = 0; i < jQuery.token.length; i += 2 ) {
                if ( foundToken ) continue;
                var re = new RegExp(“^(” + jQuery.token[i] + “)”);
                var m = re.exec(t);
                if ( m ) {
                    r = ret = jQuery.map( ret, jQuery.token[i+1] );
                    t = jQuery.trim( t.replace( re, “” ) );
                    foundToken = true;
                }