( G 15712 .)