codice_23はファイルが存在し読み込める場合codice_24を、そうでない場合はcodice_25を返す。