12 + 7 + 3 = ?