change user manager profile by terminal

hi
i want to change the user-manager profile for users at a sspecific time but couldnt do it
in hot spot its ok

i used
/tool user-manager> set [find profile=700k] profile=3m , but have error bad command name set (line 1 column 1)