Searching in benchmarks/Richards/javascript