fk5; circle(12:16:16.17, +35:32:17.7, 3.0") #color=black text=GRB060712