function iconv_cp1255_utf8 ($cp1255) {return preg_replace("/([\xE0-\xFA])/e","chr(215).chr(ord(\${1})-80)",$cp1255);}