( 10 , 042 .;