okey.cmo: okey.cmi 
okey.cmx: okey.cmi 
