C'è una funziona php che mi indichi il numero ip del server nel quale risiede la pagina di un determinato sito?