.
cocomp cieq