#include <stdio.h>

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