$keys   = get_keys([7,8,9])
