فرخنده است اول ماه مه؛ روز جهانی کارگر