8717X1 ) ( 6.147 .)