( 17 , 451 .)