题目：解方程：x+5=12，x=（ ）。