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