#include <stdio.h>

int main(void){
	char numStr[100] = "285714";
	int n = 0;
	scanf("%d",&n);
	printf("%c",numStr[n%6-1]);
}