( 13 , 142 .)