IPN triangulation of GRB020715 (=GRB150702).