(Finsert_file_contents): In the case of replace,