public int Random() { return 9; } // that's the problem with randomness: you can never be sure