■ [ 12439 .]