fk5; circle(20:42:20.00,54:04:17.3, 3.0") #color=black text=GRB050509A