( 4130 ) ( 0.8620X1 .)