Delete get_all_ISBNs.php