fk5; circle(09:48:54.577, -13:11:42.68, 3.0") #color=blue