( 10 ; 134)