fk5; circle(05:46:24.46,64:12:38.5, 3.0") #color=blue