fk5; circle(05:08:25.5,69:44:26, 3.0") #color=blue