Jornada de actualización profesional

var campoMatricula = document.querySelector( 'input#matricula' ); campoMatricula.value = campoMatricula.value.replace( /[^0-9]/g, '' ) }