( 1 ; 17)