1."五一"國際勞動節的別稱。