fk5; circle(08:04:55.17,-45:33:20.0, 3.0") #color=blue