S56.311: Strain of extensor or abductor muscles, fascia and tendons of right thumb at forearm level