public static void main(String[] args) throws Exception{
       BufferedReader buff = new BufferedReader(new InputStreamReader(System.in));
       String stringDate = buff.readLine();
       Date date = new Date(stringDate);
       SimpleDateFormat sdf = new SimpleDateFormat("MMM dd, yyyy", dateFormatSymbols);
       System.out.println(sdf.format(date));
   }
   private static DateFormatSymbols dateFormatSymbols = new DateFormatSymbols(){
       public String[] getMonths(){
           String[] str = {"JAN",
                   "FEB", "MAR", "APR",
                   "MAY", "JUN", "JUL",
                   "AUG", "SEP", "OCT",
                   "NOV", "DEC"};
           for(int i = 0; i<str.length; i++){
               str[i].toUpperCase();
           }
           return str;
       }
   };