S56.391: Other injury of extensor or abductor muscles, fascia and tendons of right thumb at forearm level