fk5; circle(02:07:18.390,00:20:31.43, 3.0") #color=blue