num_precedent=67