och funktionärerna gingo förbi konungen och helsade honom.