4 + 13 + 12 = ?