Prefixes starting with <JEF>

<JEFF> . <JEF> (other) .