fk5; circle(03:13:56.83,-42:56:46.3, 3.0") #color=blue