in reply to Problem with push() Function

I suspect you mean
s/\.txt//
on the offchance that a state ever changes their name to contain the letters "txt". The . happens to match a real . in this case, but that regex probably doesn't exactly say what you mean it to.