( G 12802 x 0 .)