"; echo "SERVER_ADDR: ".$_SERVER['SERVER_ADDR']; ?>