Japan’s Labour Day.