/* 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 = "Sat Dec 12 00:00:00 KST 2020" ;
		DateTimeFormatter f = DateTimeFormatter.ofPattern( "EEE MMM dd HH:mm:ss zzz uuuu" ).withLocale( Locale.US ) ;
		ZonedDateTime zdt = ZonedDateTime.parse( input , f ) ;
		LocalDate ld = zdt.toLocalDate() ;
		
		System.out.println( "zdt.toString(): " + zdt ) ;
		System.out.println( "ld.toString(): " + ld ) ;
	}
}