fk5; circle(18:54:58.23,20:39:34.0, 3.0") #color=blue