$pool = [17, 15, 6, 10, 18, 9, 19, 4];