Djadikanlah 1 Mei hari buruh mempertinggi produksi nasional untuk kesedjahteraan bangsa (Kementerian Penerangan RI, 1952)