using System;
using System.Collections.Generic;
using System.Linq;

class Magatro {
   
    static void Main() {
        int n = int.Parse(Console.ReadLine());
        n -= 7;
        if (n >= 8) {
            Console.WriteLine(n);
        }
        else {
            Console.WriteLine(-1);
        }
    }


}