Where does this magic number come from?