int FourtyTwo();