') { $i = 1; continue; } elseif ($i == 1) { // expected U+00E0 $i = (preg_match('~^\U\+[^<]+\$~', $row) ? 2 : 0); continue; } elseif ($i == 2) { // expected ã if (preg_match('~^\([^<]+)\$~u', $row, $m)) { $out .= $m[1]; } else { echo "# DEBUG not preg_match $row\n"; } $i = 0; continue; } } // 2010-02-15 tested alls characters are unique echo $out."\n";