DVT model of electrolytic IVC injury. (A) Thrombus weight (TW) in IVC. (B) Platelet counts (PLT) in peripheral blood in mice with IVC injury. Platelet counts of nontreated control mice were not different among the groups (Pros1+/+, 118.4 ± 4.5 × 104/µL; Pros1+/E, 131.9 ± 13.1 × 104/µL; Pros1E/E, 110.5 ± 18.7 × 104/µL; Pros1+/−, 103.0 ± 14.5 × 104/µL; FvQ/Q, 111.9 ± 17.4 × 104/µL; mean ± standard error of the mean [SEM] of 3 mice). (C) TAT in plasma. TAT of nontreated control mice was not different among the groups (Pros1+/+, 3.2 ± 0.5 µg/L; Pros1+/E, 3.0 ± 0.3 µg/L; Pros1E/E, 2.7 ± 0.5 µg/L; Pros1+/−, 3.3 ± 0.8 µg/L; FvQ/Q, 3.5 ± 0.9 µg/L; mean ± SEM of 3 mice). (D) Interleukin-6 (IL-6) in plasma. IL-6 was not detected in nontreated mice of all genotypes (n = 3). Data are mean ± SEM of 12 mice for Pros1+/+, Pros1+/E, Pros1E/E, Pros1+/−, and FvQ/Q mice. *P < .05 in comparison with Pros1+/+ mice. **P < .001 in comparison with Pros1+/+ mice. †P < .001 in comparison with Pros1+/+ mice, and P < .05 in comparison with Pros1+/E mice.