@verb #7446:"hoofme" this none this rxdo #7446
@program #7446:"hoofme" this none this
if (caller_perms() == this)
  boot_player(this)
endif
"Last modified by The_spider (#7446) on Thu May  7 00:43:18 1998 EDT."
.