- str_replace: documentation ( source)
<?php
function f()
{
$rr = '121245121245612121646212';
for ($i = 0; $i<2000; $i++)
{
$f = str_replace('12','', $rr);
if($i%20 ===0 )
{
echo $f;
}
$gg = $i*345.77-$i;
}
}
f();
?>