” " [ 7425 . j"