some change to binary_search and add the 5_25