let ``No.395 永遠の17歳``() =

  let a = stdin.ReadLine() |> int

  // X進表記

  match a with
  | a when a < 8 -> -1
  | _ -> a - 7
  |> stdout.WriteLine

  ()
``No.395 永遠の17歳``()