Searching in hal