We define Hardy spaces Hp, 0<p<∞, for quasiconformal mappings on the Korányi unit ball B in the first Heisenberg group H1. Our definition is stated in terms of the Heisenberg polar coordinates introduced by Korányi and Reimann, and Balogh and Tyson. First, we prove the exis...