Solve: 12 + 5 = ?