function str_replace_many_times($pSearch,$pReplace,$pText,$pTimes) {
    $origText=$pText;
    $len=strlen($pSearch);    
    $pos=0;
    for ($i=1;$i<=$pTimes;$i++) {
      $pos=strpos($pText,$pSearch,$pos);
      if($pos!==false) {                
	 $pText=substr($origText,0,$pos);
	 $pText.=$pReplace;
	 $pText.=substr($origText,$pos+$len);
	 $origText=$pText;
      } else {
	 break;
      }
  }
    return($pText);
    }