#include <stdio.h>
int main(){
  int a;
  scanf("%d",&a);
  int x;
  if(a<=7){printf("-1\n");return 0;}
  for(x=0;x<1000;x++){
    if(x+7==a){printf("%d\n",x);return 0;}
   
  }
}