// yukicoder: No.395 永遠の17歳
// 2019.4.15 bal4u

#include <stdio.h>

int main()
{
	int A;
	scanf("%d", &A);
	A -= 7;
	if (A <= 7) puts("-1");
	else printf("%d\n", A);
	return 0;
}