Как извлечь идентификатор сеанса из JSESSIONID на стороне клиента? ⇐ JAVA

[Anonymous]

Ниже приведен экземпляр JSESSIONID, хранящийся в файле cookie. Этот JSESSIONID был создан Websphere.

0000SHOQmBQ8EokAQtzl_HYdxIt:vuel491u

Из этой статьи на странице 1011 я знаю, что идентификатор JESSSION состоит из следующих 4 частей: Идентификатор кэша, Идентификатор сессии , разделитель ([:]), и идентификатор клона/идентификатор раздела

Мой вопрос: как извлечь часть идентификатора сеанса?

Зная, что разделителем всегда является [:], я могу получить первые две части. В чем я не уверен: Всегда ли существует идентификатор кэша и всегда ли он четырехзначный? Длина идентификатора сеанса всегда одинакова = 23 цифры?

Существует ли какой-либо клиентский API для получения идентификатора сеанса из JSESSIONID в файле cookie?