( 13 , 419 .)