Prefixes starting with <Hoc>
<Hoch>
.
<Hock>
.
<Hoc> (other)
.