fk5; circle(03:40:49.56,-17:07:48.4, 3.0") #color=blue