��� "if (isset($str{5})) {}" ������� 0.00017595291137695�.
��� "if (strlen($str) > 5) {}" ������� 0.00016093254089355�.
// ��������� ������� ���������� �������
// www.rche.ru
// �������� �� ��������� ��������� �������