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