#include <iostream>
using namespace std;

int main(void){
    char *s="285714";
    int k;
    cin>>k;
    cout<<s[(k-1)%7]<<endl;
    return 0;
}