Z89.511: Acquired absence of right leg below knee