( G .12312 .)