fk5; circle(03:21:39.67, 16:52:02.27, 3.0") #color=blue