[awk] Fonctions DNS