25896 ) ( 8094 .)