( 13 , 139 .)