‘My pay was cut 30%’: I have $12K in credit-card debt. Is it time to take a loan from my 401(k)?

‘My pay was cut 30%’: I have $12K in credit-card debt. Is it time to take a loan from my 401(k)?
“Because of a downturn in my industry, my pay was cut 30%.”