fk5; circle(10:16:47.90,43:32:53.77, 3.0") #color=blue