HASH(0x7fedda59d988)