fk5; circle(20:15:19.84,15:31:02.5, 3.0") #color=black text=GRB061122