fk5; circle(23:12:33.17,18:22:28.80, 3.0") #color=black text=GRB051111