What is nine plus three?