( 1 ; 87)