HASH(0x7fede656a768)