如图菱形ABCD边长为9DF交AC于E点且AE等于AF等于6,则.EF的长为