如图,已知矩形ABCD,P、R分别是BC和DC上的点,E、F分别是PA,PR的中点.如果DR=3,AD=4,则EF的长为