( 13 , 143 .)