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