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 java.util.function.*;
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 java.awt.geom.*;
import javax.imageio.*;
import java.math.*;
import java.text.*;

class main {



static String dateWithMSUTC() { return dateWithMSUTC(now()); }
static String dateWithMSUTC(long time) {
  var format = simpleDateFormat_UTC("yyyy/MM/dd");
  return format.format(time) + " " + formatUTCWithMS_24(time);
}
static long now_virtualTime;
static long now() {
  return now_virtualTime != 0 ? now_virtualTime : System.currentTimeMillis();
}





static SimpleDateFormat simpleDateFormat_UTC(String format) {
  SimpleDateFormat sdf = new SimpleDateFormat(format);
  sdf.setTimeZone(TimeZone.getTimeZone("UTC"));
  return sdf;
}




static String formatUTCWithMS_24() { return formatUTCWithMS_24(now()); }
static String formatUTCWithMS_24(long time) {
  var sdf = new SimpleDateFormat("HH:mm:ss.SSSS");
  sdf.setTimeZone(TimeZone.getTimeZone("UTC"));
  return sdf.format(time) + " UTC";
}



}