آیا این گروه از کارگران شامل عیدی پایان سال می‌شوند؟