HASH(0x7f5ce94c8d38)