jav tiny Search, page 147