+ // decode six byte unicode characters
+ /* (i think currently there is no such symbol)
+ $string = preg_replace("/([\374-\375])([\200-\277])([\200-\277])([\200-\277])([\200-\277])([\200-\277])/e",
+ "'&#'.((ord('\\1')-252)*1073741824+(ord('\\2')-200)*16777216+(ord('\\3')-200)*262144+(ord('\\4')-128)*4096+(ord('\\5')-128)*64+(ord('\\6')-128)).';'",
+ $string);
+ */
+
+ // decode five byte unicode characters
+ /* (i think currently there is no such symbol)
+ $string = preg_replace("/([\370-\373])([\200-\277])([\200-\277])([\200-\277])([\200-\277])/e",
+ "'&#'.((ord('\\1')-248)*16777216+(ord('\\2')-200)*262144+(ord('\\3')-128)*4096+(ord('\\4')-128)*64+(ord('\\5')-128)).';'",
+ $string);
+ */
+
+ // decode four byte unicode characters
+ $string = preg_replace("/([\360-\367])([\200-\277])([\200-\277])([\200-\277])/e",
+ "'&#'.((ord('\\1')-240)*262144+(ord('\\2')-128)*4096+(ord('\\3')-128)*64+(ord('\\4')-128)).';'",
+ $string);
+