print'x7331533230'[input()]