已知AB、CD分别是梯形ABCD的上、下底,且AB=8,CD=12,EF是梯形的中位线,则EF=?