None of it. I've shorted more expensive stocks, and I've bought puts, but I've never shorted pennies. For that matter, I don't buy them, either.