in the dark

does anyone know what kind of light this is? because i have no idea, but it's one of two that are installed in my bathroom...and this one just blew. they were here when i moved in, but i have never seen one of these before and was kind of hoping they'd last longer than, oh, four months.

i *think* it's a xenon bulb, but i can't find an exact match despite Googling all manner of terms. there's tiny writing on one end that says "made in hungary" (?!), which makes me think i'm going to have quite the search on my hands. i'm going to bring the dead bulb to Home Depot to see if they know what it might be and how i might buy a replacement...if, that is, these are easily found out and about in the city. the fixture it was in is easily 20 years old, and i have to wonder if these little guys are still being manufactured...or if there's a green-friendly alternative (which is doubtful, given the fixture's set-up).

so, if you recognize this little fella (apologies for the blurry pic) or know someone who might, by all means let me know.

[edited to add: further investigation and random Googling reveals that this might, in fact, be a double-ended tubular halogen bulb!]