(* : 必要な入力)