( 13 , 042 .)