#include <bits/stdc++.h>
using namespace std;
int main() {
  long long int x, n;
  scanf("%I64d", &x);
  if (x % 5 == 0) {
    n = x / 5;
  } else {
    n = (x / 5) + 1;
  }
  printf("%I64d", n);
  return 0;
}
