I don't know the part number but...
Once you get an answer, be aware it is probably an incandescent bulb.
Marine Beam online sells (probably) a direct replacement LED bulb that works in your fixture.
If so, I recommend them as a source, as opposed to an "Ebay" source like Mr. LED that have reportedly caused signal interference with radio and GPS transmissions.
YMMV