по идее сервер OperaMini должен работать ещё быстрее
и результат всегда разный (сейчас к примеру 16409 - наверно зависит от нагрузок на сервер)