Email Record: Formal models and semantics

Please enter the correct solution to the following calculation in figures:

four plus seven =