HASH(0x7fedc660fcf0)