13994X2 ) ( 9 , 702 .)