twelve − seven =