I've never seen this syntax before!  Is that a regular expression of some kind?