( 13 , 416 .)