HASH(0x7fedde59cb20)