fk5; circle(22:25:09.8,-02:15:30.7, 3.0") #color=blue