query_ip_number() - return the ip number for a player object

string query_ip_number(object ob);

return the ip-number (dotted decimal form) for player `ob'.