= 23 proc .)