What is nine plus seven?