fk5; circle(16:56:47.75,55:17:41.4, 3.0") #color=blue