#include <stdio.h>


int main()
{
	int age;
	
	scanf("%d", &age);
	if(age < 17)
		printf("-1");
	else
		printf("%d", age-7);
	
	return 0;
}