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