pop.gmail.com é um pseudônimo, que seu ISP dns possa ter sujado acima a tentativa resolver.
você poderia ajustar a probabilidade ao uso: gmail-pop.l.google.com
qual é o registro real de “A” (um de muitos) para pop.gmail.com
anotar que é uma letra L lá não em esse
você não quer o duro-código sua própria entrada do dns para pop.gmail.com porque, pode mudar - e você não saberia.
esta maneira se o IP muda, ainda resolverá corretamente