fk5; circle(19:34:23.147,09:08:47.47, 3.0") #color=blue