fk5
-circle(09:30:10.810,+17:00:15.59,4.88669") # color=black
-circle(09:30:11.634,+16:59:42.24,5.62491") # color=black
-circle(09:30:09.398,+17:00:09.26,6.05819") # color=black
-circle(09:30:12.709,+17:00:04.83,6.05819") # color=black
-circle(09:30:11.881,+16:59:21.59,4.97528") # color=black
annulus(09:30:10.000,+16:59:48.10,27.5",35") # color=black