’ ( 6712 .)