y ( 25382 .)