HASH(0x7fedea556580)