/', '', \$out); \$out = str_replace('$GlyphsToken', strlen(preg_replace('/\\\\s+/', '', \$dehtml)), \$out); \$out = str_replace('$WordsToken', count(preg_split('/\\\\s+/', \$dehtml, -1, PREG_SPLIT_NO_EMPTY)), \$out); }";