Binary search#9016