3 ( 25762 .)