It's currently 10:20PM in junzhai ma's timezone (Berlin).