12 + 5 + 19 + 17 = ?