decom prod3, pool prod12