<?for($p=preg_filter;$a=fgetcsv(STDIN,0,~\xdf);)echo trim($p('/./',$p('/./',' \$0$0',$a[1]),$a[0])).~\xf5;
Note that non-ascii characters in the above source code will be escaped (such as \x9f).
download
return to the top page