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