On the Heegaard Floer homology of a surface times a circle