23997x1 ) ( 6233 .)