There's about two or three different ones.  They're all small and fit into
a little socket that attaches to the back of the cluster.  Hyundai doesn't
list by bulb number-- Hyundai had their own part numbers.  I don't know
whether a generic parts warehouse would have this type of listing.  If so,
they can probably get you the best info.