print'x7220522221'[input()]