3512 ) ( 7425 .)