fk5; circle(12:04:25.06,-01:12:03.6, 3.0") #color=black text='GRB050412'