名著是先哲智慧的结晶,让我们铭记过去,展望未来。请根据原著填空:
以正方形ABCD的AB边为直径作半圆O,过点C作直线切半圆于点F,交AB边于点E,若△CDE的周长为12,则直角梯形ABCE周长为( )