6/9/06 Gil's LotD: Windows repair, Laughter, Mathematical proofs