( 6007 , ffi.