What determines the DNS timeout interval, in particular using the dns_IP4 function? -- -Eric 'shubes'