' ( 8672 .)