12 + 7 + 13 + 3 = ?