k 6 ) proc.