( 6 872 .)