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