' ( 25917 .)