public class Solve {
		private static int calculateChecksum(String str) {
		    int i3 = 0;
		    for (char c3 : str.toCharArray()) {
		        i3 = (Character.isDigit(c3) ? Character.getNumericValue(c3) : c3 - '@') + i3;
		    }
		    return i3 % 10;
		}
		private static String generateTicketCode(long seed) {
		    StringBuilder sb = new StringBuilder();
		    for (int i3 = 0; i3 < 3; i3++) {
		        sb.append("ABCDEFGHJKLMNPQRSTUVWXYZ".charAt((int) ((seed >> (i3 * 3)) % 24)));
		    }
		    sb.append("-");
		    for (int i4 = 0; i4 < 4; i4++) {
		        sb.append("0123456789".charAt((int) ((seed >> ((i4 * 4) + 9)) % 10)));
		    }
		    sb.append("-");
		    for (int i5 = 0; i5 < 2; i5++) {
		        sb.append("ABCDEFGHJKLMNPQRSTUVWXYZ".charAt((int) ((seed >> ((i5 * 5) + 25)) % 24)));
		    }
		    sb.append("0123456789".charAt(calculateChecksum(sb.toString().replace("-", "")) % 10));
                    System.out.println(sb.toString());
		    return sb.toString();
		}
    public static void main(String[] args) {
        Solve.generateTicketCode(Integer.parseInt(args[0]));
    }
}