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

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

import java.time.* ;
import java.time.format.* ;

/* 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
	{
		System.out.println( 
			Instant
			.ofEpochMilli(
			    1_640_812_878_000L
			)
			.atZone(
			    ZoneId.of( "America/Phoenix" ) 
			)
			.format(
			    DateTimeFormatter
			    .ofLocalizedDateTime( FormatStyle.MEDIUM )
			    .withLocale( Locale.US ) 
			)
		);
	}
}