ABC Output is: 9