Then king Darius instructed, and they searched in the library of books that were deposited in Babylon.