#include <stdio.h>

int main() {
	int a;

	scanf("%d", &a);

	if ((a -= 7) > 7) printf("%d\n", a);
	else printf("-1\n");

	return 0;
}