<?php
echo gethostbyname("a-kiki.org");
?>