fk5; circle(03:52:50.520,-00:43:30.61, 3.0") #color=blue