\ ( 4825 .)