世界城市日祝大家“五一”国际劳动节快乐！