fk5; circle(00:07:58.0,-29:45:19.4, 3.0") #color=blue