module Main
open System

Console.WriteLine(
    Console.ReadLine()
        |> int
        |> (fun x ->
                let n = x - 7
                if n > 7 then
                    n
                else
                    -1
            ) 
)