10 , 139X3 .)