num_precedent=70