Searching in hal/nb