( 15 , 042 .)