#include<stdio.h>
int n;
int main(){
    scanf("%d",&n);
    int c=n/5;
    for(int i=0;i<=n/5;i++) c+=(n-5*i)/2;
    printf("%d",++c);
}