fk5; annulus(15:45:42.60,-03:38:20.0, 27.5", 35.0") #color=green
fk5; -circle(15:45:43.8163,-3:38:31.0357, 6.0") #color=red
fk5; -circle(15:45:42.537,-03:37:49.50, 6.0") #color=red