[ 7256 . ] E.