fk5; circle(06:23:27.98,-01:09:46.2, 3.0") #color=blue