<?php
  header('Content-type:text/html;charset=utf-8');
  $doc = file_get_contents('http://www.songtaste.com/music/');
  $pa = '{MSL\((.*)\);}';
  preg_match_all($pa,$doc,$r);
  for($i=0;$i<count($r[1]);$i++)
  {
    $r1 = explode(', ',$r[1][$i]);
    echo '歌曲标题:'. iconv('gb2312','utf-8',$r1[0]) .'   歌曲ID:'.$r1[1].'<br/>';
  }
?>
这段代码是在网上找的,可以采集到数据,但是换一个网站就不行了!如果我想采集http://www.hust.edu.cn/Teachers2.html这个网站内的数据,$pa应该怎么ping呢