huit − 7 =