在Softmind心中，一个有效的日期格式应该是下面的5种：MM-DD-YYYY、DD-MMM-YYYY、MM/DD/YYYY、YYYY/MM/DD、YYYY/MMM/DD，这里“YYYY”、“MM”、“DD”是三个整数，分别表示年、月、日。而“MMM”则表示一个字符串，在集合{“Jan”，“Feb”，“Mar”，“Apr”，“May”，“Jun”，“Jul”，“Aug”，"Sep" "Oct" "Nov" "Dec"}中取值。 自然，表示日的整数不超过31，表示月的整数不超过12，表示年的整数要比1000大。但下面的情况你也应该考虑： 一天，Softmind非常郁闷，而他认为各种各样的日期形式令他越发没有头绪，所以他需要一种统一的日期格式，这样问题就来了。请帮助Softmind先生，把一个有效的日期格式转换成Softmind先生的标准日期格式（即MM-DD-YYYY），如果输入的日期不正确，请指出来。

多组测试数据。每组数据输入一行，包含一个串型日期。

如果输入的日期是有效的日期，请把这个日期转换成标准型，然后输出；如果输入的日期是无效的，请输出“Invalid”（不含引号）。