using System; using System.Collections.Generic; using System.Linq; namespace Test { class Program { static void Main(string[] args) { int n = int.Parse(Console.ReadLine()); Console.WriteLine(n >= 15 ? n - 7 : -1); } } }