0

Five plus seven equals twelve.