' ' 12712 .)