5 + 7 + 1 + 3 = ?