$pool = [15, 3, 17, 5, 14, 25, 13, 9];