1 * ( 6712 .)