What is seven plus ten?