五一出去玩，请假三天，感谢。虽然可能没人在意，但是这是原则。