I wonder if they would be interested in buying out Greplin (greplin.com) If they are moving in that direction.