18.341 [Renumbered 89.51]