helsade konungen i republikens presidents namn.