Where did these magic numbers come from?