1."五一"国际劳动节的别称。