Prado\Web\THttpSession::getID PHP Method