fk5; circle(09:02:25.37,-72:38:43.7, 3.0") #color=black text=GRB050820B