#5.300 personel gabung amankan hari buruh internasional