Untitled

<?php
for($i=0;$i<1000000;++$i)
        {
        $str=str_shuffle('013456789');
        if($str[0]!=='0'&&$str[2]!=='0')
                {
                $b=$str[0]*10+$str[1];
                $c=$str[2]*100+$str[3]*10+$str[4];
                $d=$str[5]*1000+$str[6]*100+$str[7]*10+$str[8];
                if(2*$b*$c===$d)
                        file_put_contents('maths.txt',@file_get_contents('maths.txt').'2*'.$b.'*'.$c.'='.$d."\n");
                }
        }
header('refresh:1;url=?');die;