where does this magic number come from?