( 12 , 419 .)