¡Saludos desde la Costa del Sol! 
Si hago el cambio que me indicas (getElementById) deja de funcionar.
Ahora mismo todo funciona correctamente, el único problema es que el marco de selección se queda marcado aún cuando pulse otro botón (solo se quita si recargo la página). El marco al que me refiero es similar al que rodea a un enlace que acabas de pulsar. Supongo que el problema estará en que la orden this.blur() solo funciona en IE pero no sé su equivalente en Mozilla FireFox.