( 6 ; 17087.8 .)