#include <stdio.h>
int main(){
int n;
scanf("%d", &n);
(n > 14)?printf("%d\n",n-7):printf("-1");
}