#include <stdio.h>

int main() {
  char num[] = "285714";
  int n;
  scanf("%d", &n);

  printf("%c\n", num[n%6-1]);
  return 0;
}