If in a â–³ABC,AD,BE and CF are the attitudes and R is the circumradius, then the circumradius R1 of â–³DEF is