HASH(0x7fedda59a0c0)