( i ; 872 .)