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

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