The FeCl3 cartoid artery injury model [24], a well-characterized arterial thrombosis model, was used to induce an occlusive thrombus in the B6 and A/J mouse strains under investigation.