Harvey sold 25-12 = <<25-12=13>>13 steaks at first.
Harvey then sold more steaks for a total of 13+4 = <<13+4=17>>17 steaks.
#### 17