( 13 , 223 .)