HASH(0x7fedce67cfc0)