}
case "match": return JSRegexp.stringMatch(this,args[0]);
case "replace": return JSRegexp.stringReplace(this,args[0],args[1]);
case "search": return JSRegexp.stringSearch(this,args[0]);
case "split": return JSRegexp.stringSplit(this,args[0],args[1],args.length);
}
case "match": return JSRegexp.stringMatch(this,args[0]);
case "replace": return JSRegexp.stringReplace(this,args[0],args[1]);
case "search": return JSRegexp.stringSearch(this,args[0]);
case "split": return JSRegexp.stringSplit(this,args[0],args[1],args.length);