Some regular expressions