Как получить имя текущего пользователя?

[slava]

Уже ответили, но

PHP код:

    UserInfo        userInfo;
    ;
    select userInfo 
            where userInfo.Id == curUserId();
    
    print userInfo.name;
    pause;