import std.stdio, std.conv, std.string;

void main(){
    auto input = readln.strip.to!int;
    int x = input - 7;
    if(x < 8){
        writeln(-1);
        return;
    }
    x.writeln;
}