short underpants worn by men or boys.