fk5; circle(23:08:52.39,10:43:20.3, 3.0") #color=blue