( * 825 .)