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