一座拱型桥,桥下的水面宽度AB是20米,拱高CD是4米.若水面上升3米至EF,则水面宽度EF为多少?