import java.util.Scanner;

public class Test {
    public static void main(String[] args) {
        Scanner scanner = new Scanner(System.in);

        int a = Integer.parseInt(scanner.nextLine());
        char b = scanner.nextLine().charAt(0);
        char c = scanner.nextLine().charAt(0);
        char d = scanner.nextLine().charAt(0);
        int e = Integer.parseInt(scanner.nextLine());
        int N = Integer.parseInt(scanner.nextLine());


        int counter = 0;

        for (int j = a; j <= 99; j++)
        {
            for (char k = b; k <= 'Z'; k++)
            {
                for (char l = c; l <= 'z'; l++)
                {
                    for (char o = d; o <= 'Z'; o++)
                    {
                        for (int p = e; p >= 10; p--)
                        {
                            if (j % 10 == 2 && p % 10 == 5){
                                counter += 1;
                            }
                            if (counter == N){
                                System.out.printf("%d%c%c%c%d", j, k, l, o, p);
                                return;
                            }
                        }
                    }
                }

            }
        }
    }
}