That was a 7443.
Not cheap for a bulb, but since it didn't come out of my pocket...$30/pr., but it should last longer than I own the car. They have them for various bulb/socket types, but I am not sure if they have them for all. For my car, they have them for every bulb (except headlights).