HASH(0x7fedf40444f0)