function foo($len=9)   {
$s = chunk_split('0123456789',1);
$ar = split("[\r\n]+",$s);
array_pop($ar);
shuffle($ar);
return join('',array_slice($ar,rand(0,count($ar)-$len),$len));
}