fk5; circle(20:31:15.57, +60:56:43.7, 3.0") #color=black text=GRB050713B