import std.stdio, std.conv, std.string; void main(){ auto input = readln.strip.to!int; if(input < 17){ writeln(-1); return; } writeln(input - 7); }