12142 i .)