final value: [int 7927]