What is this magic number `9`?