fk5; circle(12:02:17.32,10:51:10, 3.0") #color=black text='GRB050408'