Просто Саня?

[zaxodite]

Подскажите, пожалуйста, как все-таки звали прадеда Иосифа Волоцкого (Санина):

- Александр с гипокористическим вариантом «Саня» (более употребительным по отношению к нему и давшим фамилию «Санин»);
- Саня (фамилия неизвестна);
- Александр Саня (где «Саня» - это фамилия);
- Александр Санин;
- иначе?