( 17 , 441 .)