foreign_chars.php