hello friends...

does anyone know ehy curl takes forever when I do:
PHP Code:
 $ch=curl_init('http://www.example.com:8080/getOperator.jsp?msisdn=5551212');
 
//curl_setopt($ch,CURLOPT_PORT,8080);
 
curl_setopt($ch,CURLOPT_RETURNTRANSFER,true);
 
curl_setopt($ch,CURLOPT_VERBOSE,1);
 print 
curl_exec($ch);
 
curl_close($ch); 
from http://www.example.com?

I tried both with and wothout the port and port options.