fk5; circle(02:39:56.839,-25:10:54.92, 3.0") #color=blue