题目内容：

如图，在平面直角坐标系中，菱形ABCD的顶点A在y轴上，且点A坐标为（0，4），BC在x轴正半轴上，点C在B点右侧，反比例函数（x＞0）的图象分别交边AD，CD于E，F，连结BF，已知，BC=k，AE=CF，且S四边形ABFD=20，则k= _________．

[Failed to download image : http://192.168.0.10:8086/QBM/2019/1/17/2120855162306560/2123559773659136/STEM/85e8312ee4314e6b84d61ad733d78d14.png]