fk5; circle(15:52:46.74,-30:54:11.3, 3.0") #color=black text=GRB060923B