HASH(0x7fede5cb3940)