( 13 , 424 .)