fk5
circle(13:24:00.317,+40:41:49.46,3.54979") # color=black
circle(13:23:59.652,+40:41:50.32,3.54979") # color=black
circle(13:23:58.988,+40:41:50.97,3.54979") # color=black
circle(13:24:00.639,+40:41:25.08,3.54979") # color=black
circle(13:24:00.127,+40:41:19.90,3.54979") # color=black
circle(13:24:05.345,+40:42:09.10,3.54979") # color=black
circle(13:24:05.819,+40:42:14.28,3.54979") # color=black