print'x7110511111'[input()]