( G.11870 ] X 13 .)