HASH(0x7f5ce85eb6b0)