fk5; circle(09:30:10.0,+16:59:48.1, 3.0") #color=black text='GRB050502B'