fk5; circle(15:31:18.36,00:17:04.9, 3.0") #color=blue