Updating a mySQL column

I would like to update a mySQL column,

basically I would like to get a specific user in the DB, and then add the number I have to the number in the DB column.

So say 开发者_StackOverflow社区for instance user 12345 has 55 points, and I wanna add 25 points to his score, how would I go about updating the points column to reflect 80?

Thanx in advance!

---

UPDATE scoreboard
SET points=points+25
WHERE user=12345

---

UPDATE scores SET
points = points + 25
WHERE id = 12345;