fk5; circle(17:26:54.46, -08:45:04.7, 3.0") #color=black text=GRB070612B