fk5; circle(08:07:31.07, +57:36:30.0, 3.0") #color=black text=GRB070520B