It prints out 12