25893 ) ( 01807 .)