fk5; circle(07:01:24.6,-25:51:36, 3.0") #color=black text=GRB061222B