A more effecient way would be this:
Type users (if you ARE the server) then find their UserID # (It should be between 1 to 3 digits) and type kick #_ --> _ being their number.
This is an easy way to boot people with weird names or names that are long like "@@@@@@@@@@@@#$&$*^$$$$$$$$$$$$$$$$$$"
People make those names so they think they can't be booted easily. They are seriously mistaken.