print'x7894561230'[input()]