Output is: 7