如图，正方形ABCD中，AB＝l，BC为⊙O的直径，P是AD边上一点，BP交⊙O于点F，CF的延长线交AB于点E，连结PE．若CF＝2EF，则PF的长为          。