( 23 , S12 .)