豚まんも一緒に売っていたのよ。鯨まんは豚まんのバリエーションなのね。