7 + zehn =