( G 12588.3 .)