如图，正方形OABC中，O为坐标原点，点A、点C分别落在y轴、x轴上，点B坐标为（﹣4，4），点D为x轴上任意一点，将线段DA绕点D逆时针旋转90°，得对应线段为DE，作直线EC交y轴于点F.