We construct an equivariant pro-object that represents Poincare Duality for the infinite dimensional manifold LM given by the space of loops on a smooth manifold M. By applying a suitably completed K-theory to this object, we get the structure of a TQFT (or Frobenius algebra) which has the value on the surface of genus zero given by the Witten genus of M.