fk5; circle(00:31:13.78,-33:45:32.52, 3.0") #color=blue