а что html символы? если русские буквы у него поменяны на умляуты тада да, а иначе зачем они нам? но если очень нада, то
$table = array_flip(get_html_translation_table (HTML_ENTITIES));
$cont = strtr($cont, $table);
13+2=15, как ты и обещал
а ещё мона сделать перед выводом результатов
eregi_replace ("(".$string.")", "<font color=red>\\1</font>", $сont);
но это уже баловство