Listing_11.12.py

>>> sizes = {"tiny": 4, "small": 8, "mid": 12, "big": 16, "huge": 24}
>>> df["Size"].map(sizes)
0     4
1     8
2    12
3    16
4    24