<?$a=join("",file("php://stdin"));for($i=65;$i<123;$i++)if($c=substr_count($a,$s=chr($i))){printf("$s:%3d\x0d ",$c);}
Note that non-ascii characters in the above source code will be escaped (such as \x9f).
download
return to the top page