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