" ki editiver 51 ) a proc.