fk5; circle(12:51:30.56,13:02:39.5, 3.0") #color=black text='GRB050124'