}
if ( !foundToken ) {
if ( !t.indexOf(“,”) || !t.indexOf(“|”) ) {
if ( ret[0] == context ) ret.shift();
done = jQuery.merge( done, ret );
r = ret = [context];
t = ” ” + t.substr(1,t.length);
} else {
var re2 = /^([#.]?)([a-z0-9*_-]*)/i;
var m = re2.exec(t);
if ( m[1] == “#” ) {
// Ummm, should make this work in all XML docs
var oid = document.getElementById(m[2]);
r = ret = oid ? [oid] : [];
t = t.replace( re2, “” );
} else {
if ( !m[2] || m[1] == “.” ) m[2] = “*”;
for ( var i = 0; i < ret.length; i++ )
