[duskdozer]

401ks probably have limited control, but in proportion to their share of your index funds, you could short these stocks or use options or buy an inverse ETF (if one will exist).