"; print_r($arr); echo ""; if($htmlcomentado) echo ' -->'; } ?>php_network_getaddresses: getaddrinfo failed: Name or service not known