$values = get_values([7,8,9])
