fk5; circle(15:51:50.40, -78:39:07.5, 3.0") #color=black text=GRB070509