如图,矩形ABCD中,E是BC是的点,AE垂直于DE,BE等于4,EC等于1,则AB长为