My 2001 B40O has Aqua Signal 41 navigation lights, which have BAY15D sockets (same as on Odysseus' link). If you look at the stern light, the label at the top should confirm if you have the same, and from there it's very likely the ones on the mast are the same make and model. The stern light would have "T41" written on it.