HASH(0x7fedc0518640)