Output is: 12345678