今天是五一劳动节，按照国际惯例，不劳动。