import java.util.*;
import java.util.zip.*;
import java.util.List;
import java.util.regex.*;
import java.util.concurrent.*;
import java.util.concurrent.atomic.*;
import java.util.concurrent.locks.*;
import javax.swing.*;
import javax.swing.event.*;
import javax.swing.text.*;
import javax.swing.table.*;
import java.io.*;
import java.net.*;
import java.lang.reflect.*;
import java.lang.ref.*;
import java.lang.management.*;
import java.security.*;
import java.security.spec.*;
import java.awt.*;
import java.awt.event.*;
import java.awt.image.*;
import javax.imageio.*;
import java.math.*;
import java.text.*;

class main {



static String timeInTimeZoneWithOptionalDate_24(String timezone, long time) {
  return timeInTimeZoneWithOptionalDate_24(timeZone(timezone), time);
}
  
static String timeInTimeZoneWithOptionalDate_24(TimeZone timezone, long time) {
  SimpleDateFormat format = simpleDateFormat("yyyy/MM/dd", timezone);
  String date = format.format(time);
  boolean needDate = neq(date, format.format(now()));
  return (needDate ? date + " " : "") + timeInTimeZone(timezone, time);
}
static TimeZone timeZone(String name) {
  return TimeZone.getTimeZone(name);
}
static java.text.SimpleDateFormat simpleDateFormat(String format, TimeZone timeZone) {
  java.text.SimpleDateFormat sdf = new java.text.SimpleDateFormat(format);
  sdf.setTimeZone(timeZone);
  return sdf;
}
static boolean neq(Object a, Object b) {
  return !eq(a, b);
}
static long now_virtualTime;
static long now() {
  return now_virtualTime != 0 ? now_virtualTime : System.currentTimeMillis();
}

static String timeInTimeZone(String timeZone) {
  return timeInTimeZone(timeZone, now());
}

static String timeInTimeZone(String timeZone, long time) {
  return simpleDateFormat_timeZone("HH:mm", timeZone).format(time);
}


static boolean eq(Object a, Object b) {
  return a == b || a != null && b != null && a.equals(b);
}




static SimpleDateFormat simpleDateFormat_timeZone(String format, String timeZone) {
  SimpleDateFormat sdf = new SimpleDateFormat(format);
  sdf.setTimeZone(timeZone(timeZone));
  return sdf;
}


static String str(Object o) {
  return o == null ? "null" : o.toString();
}

static String str(char[] c) {
  return new String(c);
}

}