fk5; circle(20:25:54.1,-42:36:02.2, 3.0") #color=black text='GRB050315'