doce − 7 =