= 4096) break; } $words_out = var_export($words, true); $words_out = preg_replace('!\s+\d+\s+=>\s+!', '', $words_out); $words_out = preg_replace('!,\s+!', '', $words_out); $out = ''; file_put_contents($dest, $out); ?>