( G 12888X12 .)