cambio classe css tramite js

[Xinod]

document.getElementById("button").className = "button_checked";

nota che solo un elemento del documento puo' avere id="button"

ciao