I came across this regular expression in the jQuery source code:...rmozilla = (mozilla)(?:.*? rv:([w