print'x7000500000'[input()]