Solve: 12 + 7 = ?