HASH(0x7fede65b5848)