Как брать рандомные прокси из файла?

1. 3DwEp (10.11.2011 / 01:36)
Нашёл в интернете пример использования прокси:

$proxyhost = '202.249.25.141';
$proxyport = 8080;
$fp = fsockopen($proxyhost, $proxyport);
if ($fp) {
echo 'всё ок';
} else { echo 'не рабочие прокси'; }

как сделать так чтобы скрипт брал рандомно прокси вида ip;порт из файла proxy.txt?
Помогите, срочно нужно) с меня +

URL: https://visavi.net/topics/26381