5 + 1 + 7 = ?