The mixing time of the giant component of a random graph1. Issue 3 (14th May 2014)