Of course not, they're packaged with the
standart hello-kitty schoolgirl petite culotte.

*For some reason my japanese work-mate didn't
appreciate much the humor in my asking her
to bring one back for me from there,
go figure*