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

public class Main
{
    public static void main (String[] args) throws Exception
    {
        if (args.length == 1 && args[0].equals ("broken"))
            System.out.println (utcNameIn ("zh-Hant-HK"));
        System.out.println (utcNameIn ("zh-MO"));
        System.out.println ();
    }

    protected static String utcNameIn (String locale)
    {
        return locale + ": " + DateTimeFormatter.ofPattern ("zzzz", Locale.forLanguageTag (locale)).format (ZonedDateTime.ofInstant (Instant.ofEpochSecond (0), ZoneId.of ("UTC")));
    }
}