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