print('285714'[4%7-1])