A recently found Ancient Prophesy is believed to contain the exact Apocalypse date. The prophesy is a string that only consists of digits and characters "-".

We'll say that some date is mentioned in the Prophesy if there is a substring in the Prophesy that is the date's record in the format "dd-mm-yyyy". We'll say that the number of the date's occurrences is the number of such substrings in the Prophesy. For example, the Prophesy "0012-10-2012-10-2012" mentions date 12-10-2012 twice (first time as "0012-10-2012-10-2012", second time as "0012-10-2012-10-2012").

The date of the Apocalypse is such correct date that the number of times it is mentioned in the Prophesy is strictly larger than that of any other correct date.

A date is correct if the year lies in the range from 2013 to 2015, the month is from 1 to 12, and the number of the day is strictly more than a zero and doesn't exceed the number of days in the current month. Note that a date is written in the format "dd-mm-yyyy", that means that leading zeroes may be added to the numbers of the months or days if needed. In other words, date "1-1-2013" isn't recorded in the format "dd-mm-yyyy", and date "01-01-2013" is recorded in it.

Notice, that any year between 2013 and 2015 is not a leap year.

Input

The first line contains the Prophesy: a non-empty string that only consists of digits and characters "-". The length of the Prophesy doesn't exceed 105 characters.

Output

In a single line print the date of the Apocalypse. It is guaranteed that such date exists and is unique.

Examples

Input

777-444---21-12-2013-12-2013-12-2013---444-777


Output

13-12-2013
import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;
import java.io.PrintWriter;
import java.util.HashMap;
import java.util.Map;

public class TaskB {

	/**
	 * @param args
	 * @throws IOException
	 */
	public static void main(String[] args) throws IOException {
		BufferedReader input = new BufferedReader(new InputStreamReader(System.in));
        PrintWriter output = new PrintWriter(System.out);

        String s = input.readLine();
        int pos = 0;

        Map<String, Integer> result = new HashMap<String, Integer>();

        int[] days = new int[] {31,28,31,30,31,30,31,31,30,31,30,31};
        while (true) {
            if (s.length() - pos < 10) break;

            if (s.charAt(pos + 2) == '-' &&
                    s.charAt(pos + 5) == '-' &&
                    s.charAt(pos + 6) == '2' &&
                    s.charAt(pos + 7) == '0' &&
                    s.charAt(pos + 8) == '1' &&
                    (s.charAt(pos) >= '0' && s.charAt(pos) <= '3') &&
                    (s.charAt(pos+1) >= '0' && s.charAt(pos+1) <= '9') &&
                    (s.charAt(pos+3) >= '0' && s.charAt(pos+3) <= '1') &&
                    (s.charAt(pos+4) >= '0' && s.charAt(pos+4) <= '9') &&
                    (s.charAt(pos+9) >= '3' && s.charAt(pos+9) <= '5')) {
                //possible date
                String day_s = "" + s.charAt(pos) + s.charAt(pos + 1);
                int day = Integer.parseInt(day_s, 10);

                String month_s = "" + s.charAt(pos + 3) + s.charAt(pos + 4);
                int month = Integer.parseInt(month_s, 10);

                int year = Integer.parseInt("201" + s.charAt(pos + 9), 10);

                if (month > 0 && month < 13 && day >0 && day <= days[month-1] && year > 2012 && year < 2016) {
                    String date = day_s + "-" + month_s + "-" + year;
                    //String date = day + "-" + month + "-" + year;
                    if (result.containsKey(date)) {
                        result.put(date, result.get(date) + 1);
                    } else {
                        result.put(date, 1);
                    }
                }
            }
            pos++;
        }

        int max = 0;
        String dateOut = "";
        for (Map.Entry<String, Integer> entry: result.entrySet()) {
            if (entry.getValue() > max) {
                dateOut = entry.getKey();
                max = entry.getValue();
            }
        }

        output.write(dateOut);
        output.close();
	}

}
