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