fk5; circle(13:31:43.42,35:03:03.6, 3.0") #color=blue