Date Format Converter

You are given a date in the format (\text{DD-MMM-YYYY}) (for example, 07-Oct-2023) and your task is to convert it to the format (\text{YYYYMMDD}) (for example, 20231007). The month is given as a three-letter abbreviation (Jan, Feb, Mar, Apr, May, Jun, Jul, Aug, Sep, Oct, Nov, Dec). Read the input date from standard input and output the converted date to standard output.

inputFormat

The input consists of a single line containing a date string in the format (\text{DD-MMM-YYYY}).

outputFormat

Output the converted date in the format (\text{YYYYMMDD}) as a single line string.## sample

07-Oct-2023

20231007