( 17 , 947 .)