( 17 , - 842 .)