Z86.72: Personal history of thrombophlebitis