function iconv_utf8_cp1255 ($utf8) { return preg_replace("/\xD7([\x90-\xAA])/e","chr(ord(\${1})+80)",$utf8); }