@verb #5410:"thumb" any none none rdo #5410
@program #5410:"thumb" any none none
player.location:announce_all(player.name, " raises his thumb at ", dobjstr, " in mock salute.")
"Last modified by Eagle (#5410) on Wed Nov  3 18:03:15 1999 MST."
.