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();
        }
    }
}