a[mid]==mid