/* package whatever; // don't place package name! */

import java.util.*;
import java.lang.*;
import java.io.*;

import java.time.* ;
import java.time.format.* ;
import java.time.temporal.* ;
import java.time.chrono.* ;
import java.time.zone.* ;

/* Name of the class has to be "Main" only if the class is public. */
class Ideone
{
	public static void main (String[] args) throws java.lang.Exception
	{

		String input = "17-Jul-2020 12:12" ;
		DateTimeFormatter f = DateTimeFormatter.ofPattern("dd-MMM-yyyy HH:mm").withLocale( Locale.US );
		LocalDateTime ldt = LocalDateTime.parse( input , f ) ;
		
		System.out.println( ldt ) ;
	}
}