fk5; circle(06:56:09.0,+32:40:06.4, 3.0") #color=black text=GRB051211A