#include <stdio.h> int main() { int d; scanf("%d", &d); int result = (d + 2) % 7; if (result == 0) { result = 7; } printf("%d\n", result); return 0; }