fk5; circle(14:08:17.11,-03:46:17.94, 3.0") #color=blue