using System;
using System.Linq;

class No395{
    static void Main(){
        Console.WriteLine(Int32.Parse(Console.ReadLine())-7);
    }    
}