using System;

public class yukicoder
{
    public static void Main()
    {
		int n = int.Parse(Console.ReadLine());
		
		if(n < 15)
			Console.WriteLine(-1);
		else
			Console.WriteLine(n - 7);
		
    }
}