Паліндромні дати
Дата вважається паліндромною, якщо її запис у форматі "YearMMDD" є паліндромом (числом, яке читається однаково з обох боків). Наприклад, дата "1 січня 1 року" є паліндромною, оскільки записується як "10101"; "1 грудня 1021 року" також є паліндромною, оскільки записується як "10211201".
Ваше завдання — знайти наступну дійсну дату (в хронологічному порядку), яка є паліндромною, згідно з визначенням "паліндромної дати", наведеним вище. Для цієї задачі дата вважається дійсною, якщо рік знаходиться в межах від 1 до 2147483647, місяць — від 1 до 12, день — не менше 1 і:
для місяців 1, 3, 5, 7, 8, 10, 12 — день не більший за 31;
для місяців 4, 6, 9, 11 — день не більший за 30;
для місяця 2, день не більший за 29, і може бути 29 лише у високосні роки. Рік вважається високосним, якщо він ділиться на 400, або ділиться на 4, але не ділиться на 100.
Вхідні дані
Вхідний файл містить одну дату на рядок: три числа, розділені символом '/', що представляють (у порядку) день, місяць і рік. Наприклад, 4 липня 2011 року буде записано як "04/07/2011" (або 4/07/2011, або 4/7/2011). Останній рядок у вхідному файлі порожній.
Вихідні дані
Вихідний файл повинен містити наступну дійсну паліндромну дату для кожної дати у вхідному файлі, одну дату на рядок. Формат дати у вихідному файлі є DD/MM/Year — тобто роздільником є символ '/', перша цифра року ніколи не повинна бути 0, і ви завжди повинні використовувати дві цифри для дня і місяця (використовуйте 01 замість 1, 02 замість 2 тощо).
Гарантовано, що всі вхідні дати є дійсними, і що для всіх вхідних дат існує "наступна дійсна паліндромна дата".