Девочка по имени Девочка

Нашей девочке уже 27 неделька, а окончательного варианта так и нет ((

Есть 2 варианта во круг которых мы ходим с самого начала, это Василиса и Полина. Папу зовут Илья и соотв.отчество у дочки будет Ильинична.

В полном варианте оба имени нравятся, Василиса даже сильнее, но вот сокращения Вася и Поля прямо ухо режут. Многие говорят, что как ребенка будешь называть, так и другие так же называть будут, но ведь есть общепринятые сокращения к именам, например: Татьяна (мое имя), дома может быть Тата, Туся, Яна и т.д но в обществе в 99% это будет Таня, так и с именами для дочки.

Может зря мы заморачиваемся и выбирать только из этих двух?

П.С. Муж еще предлагает Анна, но так звали мою родную бабушку и судьба у нее была мягко скажем незавидная.По этому не хочу.

П.П.С Сын (Кирилл)продвигает София, но боюсь, что в группе/классе их будет слишком много, хотя имя красивое на мой взгляд.