如图，四边形ABCD为矩形，过点D作对角线BD的垂线，交BC的延长线于点E，取BE的中点F，连接DF，DF=4．设AB=x，AD=y，则的值为           ．