Modificando o atributo class de um objeto com Javascript

#Esta é mais uma nota minha pra pesquisas futuras.
Para acessar a propriedade class de qualquer objeto utilize a seguinte forma:

objeto.attributes["class"].value

Exemplo:
<script type="text/javascript">
document.getElementById("botao").attributes["class"].value="nova_classe";
</script>