num_precedent=139