int FortyTwo();